Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
The PSG system: from formal language definitions to interactive programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
IDL: sharing intermediate representations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Experience with evolutionary prototyping in a large software project
ACM SIGSOFT Software Engineering Notes
Box structured information systems
IBM Systems Journal
On the use of formal methods in software development
ICSE '87 Proceedings of the 9th international conference on Software Engineering
IEEE Transactions on Software Engineering
Formal manipulation of modular software systems
Conference proceedings on Formal methods in software development
Using Larch to Specify Avalon/C++ Objects
IEEE Transactions on Software Engineering
An overview of the ISO/VDM-SL standard
ACM SIGPLAN Notices
Understanding the differences between VDM and Z
ACM SIGSOFT Software Engineering Notes
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
A data modeling methodology for the design and implementation of information systems
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
Deriving Target Code as a Representation of Continuation Semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Control Flow Aspects of Semantics-Directed Compiling
ACM Transactions on Programming Languages and Systems (TOPLAS)
A multi-language compiler system with automatically generated codegenerators
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
State-based approaches: from Z to object-Z
Formal methods for distributed processing
A case study in specifying the semantics of a programming language
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A case study in specifying the semantics of a programming language
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Designing A Generalized NF2 Model with an SQL-Type Language Interface
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper)
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Modeling Dynamic Domains with ConGolog
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Scientific Decisions which Characterize VDM
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
The effect of the PDP-11 architecture on code generation for chill
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
The PSG - Programming System Generator
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Data abstraction tools: Design, specification and application
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Control flow aspects of semantics directed compiling (Summary)
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
On a formal model of the tasking concept in Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Final report of the ANSI/X3/SPARC DBS-SG relational database task group
ACM SIGMOD Record
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
On revival of Algol-concepts in modern programming and specification languages
Formal methods and hybrid real-time systems
VDM semantics of programming languages: combinators and monads
Formal methods and hybrid real-time systems
Using colored petri nets to predict future states in agent-based scheduling and planning systems
Multiagent and Grid Systems - Advances in Agent-mediated Automated Negotiations
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Partiality, state and dependent types
TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications
A generic framework: from modeling to code
Innovations in Systems and Software Engineering
A Deterministic Interpreter Simulating A Distributed real time system using VDM
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Compositionality: ontology and mereology of domains
Concurrency, Compositionality, and Correctness
Rôle of domain engineering in software development—why current requirements engineering is flawed !
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Recent industrial applications of VDM in Japan
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Toward design, modelling and analysis of dynamic workflow reconfigurations
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
Modelling and analysis of dynamic reconfiguration in BP-Calculus
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
WHY DENOTATIONAL?: Remarks on Applied Denotational Semantics
Fundamenta Informaticae
Towards a formal analysis of dynamic reconfiguration in WS-BPEL
Intelligent Decision Technologies
| Hi-index | 0.00 |