Combining Graphical and Formal Specification: the Software Bus Case Study (original) (raw)
Related papers
Combining Graphical and Formal Development of Open Distributed Systems
2002
The DisCo2000 Specification Language Annotated version
2003
Specification of distributed systems with a combination of graphical and formal languages
Proceedings Eighth Asia-Pacific Software Engineering Conference, 2001
Integrating Specification and Documentation in an Object-Oriented Language
SAVCBS 2004, Specification and Verification of Component-Based Systems, 2004
Specification of Distributed Systems with a Combination of Graphica and Formal Languages
2001
Formal specification of object systems
TAPSOFT '91, 1991
Seminar: Specification and Verification of Object-oriented Software
2004
Object-oriented modelling and specification using SHE
Computer Languages, 2001
Verification & Validation of Object-Oriented Functional Design using Formal Specification Techniques
2011
Introducing formal notations in the development of object-based distributed applications
IFIP Advances in Information and Communication Technology, 1997
FORMAL SPECIFICATION FOR REAL-TIME OBJECT ORIENTED SYSTEMS WITH UML DESIGN
Formal Model-Driven Development of Communicating Systems
Lecture Notes in Computer Science, 2005
Bdl: a semantics backbone for uml dynamic diagrams
2000
Formal Foundations of Object-Oriented Modeling Notations
2013
A Proof Environment for Partial Specifications in OUN
2001
Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques
German-Argentinian Workshop on Information Technology, 1999
Interface Specification Methods for Software Com Ponents
2008
SLAN-4-A software specification and design language
IEEE Transactions on Software Engineering, 2000
A technique for distributed systems specification
Proceedings Euromicro Workshop on Parallel and Distributed Processing
Requirements-Level Semantics and Model Checking of ObjectOriented
2003
Towards a comparative evaluation of text-based specification formalisms and diagrammatic notations
International Journal of Data Mining, Modelling and Management, 2019
VCL, a Visual Language for Modelling Software Systems Formally
Diagrammatic Representation and Inference, 2010
Formal specifications of computer-based systems
Miroslav Sveda, Dvořák Václav
Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2002
Semi-Formal and Formal Specification Techniques for Software Systems
Object-oriented specification and stepwise refinement
1991
Specification, abstraction and verification in a concurrent object-oriented language
1996
Comparison of formal specification methods and object-oriented paradigms
Journal of Network and Computer Applications, 1997