Surveyors' forum: runtime checking and debugging of formally specified programs
ACM Computing Surveys (CSUR)
Towards a method of programming with assertions
ICSE '92 Proceedings of the 14th international conference on Software engineering
Parametrized programming in LILEANNA
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Structured operational semantics as a specification language
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
A new approach to prototyping Ada-based hardware/software systems
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Aspect: an economical bug-detector
ICSE '91 Proceedings of the 13th international conference on Software engineering
Highly reliable upgrading of components
Proceedings of the 21st international conference on Software engineering
Automatically Checking an Implementation against Its Formal Specification
IEEE Transactions on Software Engineering
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
A system for predictable component-based software construction
High integrity software
Contracts for higher-order functions
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
A Task-Based Methodology for Specifying Expert Systems
IEEE Expert: Intelligent Systems and Their Applications
QDA - A Method for Systematic Informal Program Analysis
IEEE Transactions on Software Engineering
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
Extended Static Checking: A Ten-Year Perspective
Informatics - 10 Years Back. 10 Years Ahead.
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Adding formal specifications to a proven V&V process for system-critical flight software
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Smart monitors for composed services
Proceedings of the 2nd international conference on Service oriented computing
Model variables: cleanly supporting abstraction in design by contract: Research Articles
Software—Practice & Experience
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
Expressing heap-shape contracts in linear logic
Proceedings of the 5th international conference on Generative programming and component engineering
Assertions for the Tcl language
TCLTK'97 Proceedings of the 5th conference on Annual Tcl/Tk Workshop 1997 - Volume 5
Algebraic specification techniques for parametric types with logic-based constraints
Proceedings of the 2009 ACM symposium on Applied Computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Nested and dynamic contract boundaries
IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages
Supporting data consistency in concurrent process execution with assurance points and invariants
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Towards dynamic monitoring of WS-BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
The spec# programming system: an overview
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
WS-Policy for service monitoring
TES'05 Proceedings of the 6th international conference on Technologies for E-Services
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
ICFP 2002: Contracts for higher-order functions
ACM SIGPLAN Notices - Supplemental issue
| Hi-index | 0.00 |