Synchronization primitives for a multiprocessor: a formal specification
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Java Specification Extension for Automated Test Development
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Techniques for Embedding Executable Specifications in Software Component Interfaces
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
An Informal Formal Method for Systematic JUnit Test Case Generation
Proceedings of the Second XP Universe and First Agile Universe Conference on Extreme Programming and Agile Methods - XP/Agile Universe 2002
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Verification of Java's AbstractCollection Class: A Case Study
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Using OCL and UML to Specify System Behavior
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Inheriting and Modifying Behavior
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Inheritance: From Code Reuse to Reasoning Reuse
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
A predicative basis for structured analysis specification tools
Information and Software Technology
Modular aspect-oriented design with XPIs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Writing and using program specifications
Proceedings of the FSE/SDP workshop on Future of software engineering research
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
Larch specifications are two-tiered. Each one has a component written in an algebraic language and another tailored to a programming language.