Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Proceedings of the 2001 ACM symposium on Applied computing
A graphical user interface for executing formal specifications
Proceedings of the 2001 ACM symposium on Applied computing
Support for teaching formal methods
ACM SIGCSE Bulletin
Support for teaching formal methods
Working group reports from ITiCSE on Innovation and technology in computer science education
Executing Formal Specifications with Concurrent Constraint Programming
Automated Software Engineering
The List_Tree — An Innovative Solution to Customer Portfolio Representation
BT Technology Journal
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
PROSPER - An Investigation into Software Architecture for Embedded Proof Engines
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Automated Black-Box Testing with Abstract VDM Oracles
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
A Lightweight Approach to Formal Methods
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
OCL Based on New Presentation of the OCL-Syntax
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Test-Case Calculation through Abstraction
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
On the Precise Meaning of OCL Constraints
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
A graphical user interface for editing formal specification objects
Journal of Computing Sciences in Colleges
Generating web-based systems from specifications
Proceedings of the 2004 ACM symposium on Applied computing
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
Formally refining software architectures with π-ARL: a case study
ACM SIGSOFT Software Engineering Notes
How the design of JML accommodates both runtime assertion checking and formal verification
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Formally modelling software architectures with the UML 2.0 profile for π-ADL
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
π-Method: a model-driven formal method for architecture-centric software engineering
ACM SIGSOFT Software Engineering Notes
An ontology for trajectory simulation
Proceedings of the 38th conference on Winter simulation
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
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
The Abstract State Machines Method: Preface
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Using JULE to generate a compliance test suite for the UML standard
Proceedings of the 30th international conference on Software engineering
Model-driven refinement of software architectures with π-ARL
AMCOS'05 Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science
The connection between two ways of reasoning about partial functions
Information Processing Letters
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
Introducing Objects through Refinement
FM '08 Proceedings of the 15th international symposium on Formal Methods
Transforming Data by Calculation
Generative and Transformational Techniques in Software Engineering II
Invariant-driven specifications in Maude
Science of Computer Programming
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
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
Context-dependent product line practice for constructing reliable embedded systems
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
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
Strategic term rewriting and its application to a VDM-SL to SQL conversion
FM'05 Proceedings of the 2005 international conference on Formal Methods
Compiling formal specifications to oz programs
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
On the integration of formal methods: events and Scenarios in PVS and VDM
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
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
The Abstract State Machines Method
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
An active architecture approach to dynamic systems co-evolution
ECSA'07 Proceedings of the First European conference on Software Architecture
Context-dependent product line engineering with lightweight formal approaches
Science of Computer Programming
| Hi-index | 0.00 |