Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal models of stepwise refinements of programs
ACM Computing Surveys (CSUR)
Algorithmic specifications: a constructive specification method for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synchronization primitives for a multiprocessor: a formal specification
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Transformational derivation of programs using the focus system
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
AUTO STAR—a software development system
ACM SIGPLAN Notices
Inductive methods for reasoning about abstract data types
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Reasoning about object-oriented programs that use subtypes
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Mixing abstract and concrete modules: specification, development and prototyping
ICSE '90 Proceedings of the 12th international conference on Software engineering
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Debugging Larch Shared Language Specifications
IEEE Transactions on Software Engineering
Consistency and orderability: semantics-based correctness criteria for databases
ACM Transactions on Database Systems (TODS)
Report of a workshop on future directions in programming languages and compilers
ACM SIGPLAN Notices
A theory of probabilistic functional testing
ICSE '97 Proceedings of the 19th international conference on Software engineering
A tailored design language: putting model based formal specification into practice
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Modeling Architecture Description Languages Using AML
Automated Software Engineering
An Introduction to the Specification Language SPEC
IEEE Software
CASL: the common algebraic specification language
Theoretical Computer Science
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Using CARE to Construct Verified Software
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Case study on algebraic software methodologies for scientific computing
Scientific Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Computer aided incremental specification
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Hi-index | 0.00 |