Systematic software development using VDM
Systematic software development using VDM
Object-oriented subsystem specification
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
The Z notation: a reference manual
The Z notation: a reference manual
ICSE '89 Proceedings of the 11th international conference on Software engineering
Support for data-intensive applications: conceptual design and software development
Proceedings of the second international workshop on Database programming languages
Artificial intelligence and mathematical theory of computation
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
The Specification of Complex Systems
The Specification of Complex Systems
Sharing Actions and Attributes in Modal Action Logic
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Using Z as a Specification Calculus for Object-Oriented Systems
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
Towards a Semantics for Object-Z
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
Using VDM within an Object-Oriented Framework
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Formal Specification in Metamorphic Programing
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
ACM Transactions on Software Engineering and Methodology (TOSEM)
Inheritance of interface specifications (extended abstract)
IDL '94 Proceedings of the workshop on Interface definition languages
Simulation and analysis of business processes using GOLOG
COCS '95 Proceedings of conference on Organizational computing systems
Structuring Z specifications with views
ACM Transactions on Software Engineering and Methodology (TOSEM)
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
Integration of sequential scenarios
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Integration of Sequential Scenarios
IEEE Transactions on Software Engineering
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Representing Software Engineering Knowledge
Automated Software Engineering
Deriving operational software specifications from system goals
ACM SIGSOFT Software Engineering Notes
Interface-Based Protocol Specification of Open Systems using PSL
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Modeling Dynamic Domains with ConGolog
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
View Updatability Based on the Models of a Formal Specification
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
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
A specification-based approach to reasoning about pointers
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Simplifying reasoning about objects with Tako
Proceedings of the 2006 conference on Specification and verification of component-based systems
Data & Knowledge Engineering - Special issue: ER 2003
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
A principled approach towards symbolic geometric constraint satisfaction
Journal of Artificial Intelligence Research
Applying Fondue to Specify a Drink Vending Machine
Electronic Notes in Theoretical Computer Science (ENTCS)
Derivation rules in object-oriented conceptual modeling languages
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Specification of invariability in OCL
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Definition and correct refinement of operation specifications
Dependable Systems
| Hi-index | 0.00 |