Rigorous development using RAISE
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
Design of GUIs from a programming perspective
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Verification of ANDF components
IR '95 Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Subtypes for Specifications: Predicate Subtyping in PVS
IEEE Transactions on Software Engineering
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
A formal model for verifying compound design patterns
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
A source of inconsistency in theories of nondeterministic functions
Science of Computer Programming
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Triple Dots in a Formal Language
Journal of Automated Reasoning
Modelling an Extended/Virtual Enterprise by the Composition of Enterprise Models
Journal of Intelligent and Robotic Systems
Formal Development and Verification of a Distributed Railway Control System
IEEE Transactions on Software Engineering
A Triptych Software Development Paradigm: Domain, Requirements and Software
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Developing a Spell-Checker for Tajik Using RAISE
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Specification Based Testing: Towards Practice
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
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
On the Specification of the Display of Documents in Multi-lingual Computing
PODDP '98 Proceedings of the 4th International Workshop on Principles of Digital Document Processing
A Formal Model of Object-Oriented Design and GoF Design Patterns
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
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
KVEST: Automated Generation of Test Suites from Formal Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Formal Development and Verification of a Distributed Railway Control System
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
An Operational Semantics for Timed RAISE
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Linking DC Toghether with TRSL
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
A Formal Basis for Object-Oriented Patterns
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Applying SOFL to Specify A Railway Crossing Controller for Industry
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
The state-based CCS semantics for concurrent Z specification
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Using CARE to Construct Verified Software
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Applying domain engineering using RAISE into a particular banking domain
ACM SIGSOFT Software Engineering Notes
A Denotational Semantics for Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
Decomposition for Compositional Verification
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Model Checking LTL Formulae in RAISE with FDR
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Strategic IT planning as change specification
Proceedings of the 2nd international conference on Theory and practice of electronic governance
A Specification Translation from Behavioral Specifications to Rewrite Specifications
IEICE - Transactions on Information and Systems
Multi-paradigm Models as Source for Automated Test Construction
Electronic Notes in Theoretical Computer Science (ENTCS)
Relating domain concepts intensionally by ordering connections
Formal methods and hybrid real-time systems
Formal methods and hybrid real-time systems
A domain-oriented, model-based approach for construction and verification of railway control systems
Formal methods and hybrid real-time systems
Investigating a new formal model for autonomous virtual organisation using RAISE method
International Journal of Networking and Virtual Organisations
Journal of Computational Methods in Sciences and Engineering - Special Supplement Issue in Section A and B: Selected Papers from the ISCA International Conference on Software Engineering and Data Engineering, 2009
Formal development of a tool for automated modelling and verification of relay interlocking systems
FM'11 Proceedings of the 17th international conference on Formal methods
Towards a framework for modelling and verification of relay interlocking systems
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Combining algebraic and model-based test case generation
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
A perspective on component refinement
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Modelling and verification of relay interlocking systems
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Connectors as designs: Modeling, refinement and test case generation
Science of Computer Programming
Facilitating modular property-preserving extensions of programming languages
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Modular composition of language features through extensions of semantic language models
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
A semantic analysis of logics that cope with partial terms
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Automated generation of safety requirements from railway interlocking tables
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Design and Implementation of an Autonomic Code Generator Based on RTPA
International Journal of Software Science and Computational Intelligence
Modelling temporal behaviour in complex systems with Timebands
Formal Methods in System Design
Hi-index | 0.00 |