- Home
- » Tags
- » Specification language
Top View
- A Classification and Comparison Framework for Software
- Algebraic Specification : Syntax, Semantics, Structure
- A Short Introduction to Formal Methods
- Formal Specification with the Java Modeling Language
- Design and Verification Languages
- STRUCTURED ALGEBRAIC SPECIFICATIONS: a KERNEL LANGUAGE * Martin WIRSING Fakultiit Ftir Mathematik Und Informatik, Universitiit Passau, 8390 Passau, Fed
- Languages, Methods, and Tools for Software Specification
- PRACTICAL METHODS and TOOLS for SPECIFICATION Contents O
- Closing the Gap Between Specification And
- Hardware Description Language Program Slicing and Way to Reduce Bounded Model Checking Search Overhead
- Z Formal Specification Language - an Overview Mr
- Uml/Iso/19501/Pdf
- Formal Specifications in Software Development: an Overview
- Specification and Description Language (SDL)
- Formal Specification of a Web Services Protocol
- Should Your Specification Language Be Typed?
- Formal Specification
- Embedded Architecture Description Language
- Charles Goon Resume (Feb 12, 2019)
- OMG Unified Modeling Language Specification
- A Golden Age of Hardware Description Languages: Applying Programming Language Techniques to Improve Design Productivity
- Architecture Description Languages for Programmable Embedded Systems
- Modeling, Specification Languages, Array Programs
- Object-Z to Perfect Developer
- Introducing Formal Methods Software Engineering and Formal Methods
- ACSL: ANSI/ISO C Specification Language
- A Simple Approach to Specifying Concurrent Systems
- The Spec# Programming System: an Overview
- Larch: Languages and Tools for Formal Specification