Algorithms & data structures
The world of programming languages
The world of programming languages
X-machines as a basis for dynamic system specification
Software Engineering Journal
Algorithms in the world of bounded resources
A half-century survey on The Universal Turing Machine
Specifications are not (necessarily) executable
Software Engineering Journal
A logical operational semantics of full Prolog
MFCS '90 Proceedings on Mathematical foundations of computer science 1990
A logical operational semantics of full Prolog: part 1. Selection core and control
CSL '89 Proceedings of the third workshop on Computer science logic
Structured computer organization (3rd ed.)
Structured computer organization (3rd ed.)
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
Semantics with applications: a formal introduction
Semantics with applications: a formal introduction
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Action semantics
Specifications are (preferably) executable
Software Engineering Journal
A formal specification of PARLOG
Semantics of programming languages and model theory
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
The semantics of behavioral VHDL '93 descriptions
EURO-DAC '94 Proceedings of the conference on European design automation
Creating reference architectures: an example from avionics
SSR '95 Proceedings of the 1995 Symposium on Software reusability
A mathematical definition of full Prolog
Science of Computer Programming
Functional documents for computer systems
Science of Computer Programming
Software architecture in industrial applications
Proceedings of the 17th international conference on Software engineering
Towards a formal semantics of Parnas tables
Proceedings of the 17th international conference on Software engineering
Evolving algebras 1993: Lipari guide
Specification and validation methods
CLAM specification for provably correct compilation of CLP( R ) programs
Specification and validation methods
The bakery algorithm: yet another specification and verification
Specification and validation methods
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
ACM Transactions on Programming Languages and Systems (TOPLAS)
Mathematical models for computing science
Proceedings of the NATO Advanced Study Institute on Deductive program design
Tabular representations in relational documents
Relational methods in computer science
Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models
Proceedings of the 6th international workshop on Hardware/software codesign
Elements of distributed algorithms: modeling and analysis with Petri nets
Elements of distributed algorithms: modeling and analysis with Petri nets
“Formal methods” technology transfer will fail
Journal of Systems and Software - Special issue on formal methods technology transfer
Specification and verification of pipelining in the ARM2 RISC microprocessor
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Modelling systems: practical tools and techniques in software development
Modelling systems: practical tools and techniques in software development
ACM Computing Surveys (CSUR)
Models of computation for system design
Architecture design and validation methods
Modular design for the Java virtual machine architecture
Architecture design and validation methods
Program development by stepwise refinement
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Automata, Languages, and Machines
Automata, Languages, and Machines
The Java Language Specification
The Java Language Specification
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation
MFCS '98 Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science
Verification of Compiler Correctness for the WAM
TPHOLs '96 Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics
Why Use Evolving Algebras for Hardware and Software Engineering?
SOFSEM '95 Proceedings of the 22nd Seminar on Current Trends in Theory and Practice of Informatics
Occam: Specification and Compiler Correctness - Part I: The Primary Model
PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
A Practical Method for Rigorously Controllable Hardware Design
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
Composition and Refinement in the B-Method
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
Retrenchment: An Engineering Variation on Refinement
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
The structure of an operating system
Language Hierarchies and Interfaces, International Summer School
A Formal Operational Semantics for Languages of Type Prolog III
CSL '90 Proceedings of the 4th Workshop on Computer Science Logic
LCC '94 Selected Papers from the International Workshop on Logical and Computational Complexity
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
Choiceless polynomial time
Structured programming
Chapter I: Notes on structured programming
Structured programming
Formal Modeling of Virtual Machines
IEEE Transactions on Software Engineering
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
SODAS and a methodology for system design
AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
Some definitional suggestions for automata theory
Journal of Computer and System Sciences
Formal aspects of and development environments for Montages
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
A Comparison of Conventional Distributed Computing Environments and Computational Grids
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
Modeling Software: From Theory to Practice
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
A Termination Detection Algorithm: Specification and Verification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Encoding Abstract State Machines in PVS
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Abstract State Machines at the Cusp of the Millenium
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Modeling the Dynamics of UML State Machines
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Composition and Submachine Concepts for Sequential ASMs
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
A Method for Verifiable and Validatable Business Process Modeling
Advances in Software Engineering
Application and middleware transparent checkpointing with TCKPT on ClusterGrids
Future Generation Computer Systems
Dynamic public service mediation
EGOV'10 Proceedings of the 9th IFIP WG 8.5 international conference on Electronic government
Service research challenges and solutions for the future internet
Design of large-scale enterprise interoperable value webs
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
Choreography in IRS-III – coping with heterogeneous interaction patterns in web services
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A compositional framework for service interaction patterns and interaction flows
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Using abstract state machine in architecture design of distributed software component repository
APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
Engineering MDA into compositional reasoning for analyzing middleware-based applications
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Tutorial: the ASM method for system design and analysis. a tutorial introduction
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
The subject-oriented approach to software design and the abstract state machines method
Conceptual Modelling and Its Theoretical Foundations
SDL-2000: a language with a formal semantics
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Formalizing a domain specific language using SOS: an industrial case study
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Executable formal specifications of complex distributed systems with CoreASM
Science of Computer Programming
Hi-index | 0.00 |
We provide an introduction to a practical method for rigorous system development which has been used successfully, under industrial constraints, for design and analysis of complex hardware/software systems. The method allows one to start system development with a trustworthy high level system specification and to link such a "ground model" in a well documented and inspectable way through intermediate design steps to its implementation. The method enhances traditional operational modelling and analysis techniques by incorporating the most general abstraction, decomposition and refinement mechanisms which have become available through Gurevich's Abstract State Machines. Through its versatility the ASM approach is non-monolithic and integratable at any development level into current design and analysis environments. We also collect experimental evidence for the ASM thesis, a generalization of Turing's thesis.