Syntax error repair for a Java-based parser generator
ACM SIGPLAN Notices
Transposing partial components: an exercise on coalgebraic refinement
Theoretical Computer Science - Components and objects
Context-aware feature-oriented modeling with an aspect extension of VDM
Proceedings of the 2007 ACM symposium on Applied computing
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
VDMTools: advances in support for formal modeling in VDM
ACM SIGPLAN Notices
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM
FM '08 Proceedings of the 15th international symposium on Formal Methods
FM '08 Proceedings of the 15th international symposium on Formal Methods
RPL: a policy language for dynamic reconfiguration
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
The overture initiative integrating tools for VDM
ACM SIGSOFT Software Engineering Notes
Modeling Concurrent Systems with Shared Resources
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Connecting UML and VDM++ with Open Tool Support
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Co-simulation of distributed embedded real-time control systems
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Proving consistency of VDM models using HOL
Proceedings of the 2010 ACM Symposium on Applied Computing
Formal engineering of XACML access control policies in VDM++
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
Collaborative modelling and co-simulation in the development of dependable embedded systems
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Proof obligation generation and discharging for recursive definitions in VDM
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Pre-post notation is questionable in effectively specifying operations of object-oriented systems
Frontiers of Computer Science in China
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
Modeling and validating distributed embedded real-time systems with VDM++
FM'06 Proceedings of the 14th international conference on Formal Methods
Mappings make data processing go 'round
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Formal semantics of a VDM extension for distributed embedded systems
Concurrency, Compositionality, and Correctness
Formalisation and implementation of the XACML access control mechanism
ESSoS'12 Proceedings of the 4th international conference on Engineering Secure Software and Systems
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Modeling and validating the train fare calculation and adjustment system using VDM++
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
Animation-based validation of a formal model of dynamic virtual organisations
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Recent industrial applications of VDM in Japan
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Combining VDM with executable code
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Experiences with a compositional model checker in the healthcare domain
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Early fault detection in industry using models at various abstraction levels
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Design support and tooling for dependable embedded control software
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Incorporating Formal Techniques into Industrial Practice: an Experience Report
Electronic Notes in Theoretical Computer Science (ENTCS)
Context-dependent product line engineering with lightweight formal approaches
Science of Computer Programming
Structuring variability in the context of embedded systems during software engineering
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
| Hi-index | 0.00 |