A Refinement Driven Component-Based Design (original) (raw)
Related papers
Formal Methods for Component Software: The Refinement Calculus Perspective
Object-Oriented Technology--ECOOP '97 Workshop Reader, 1998
Formal Verification Issues For Component-Based Development
Informatica, 2020
SAVCBS 2005 Proceedings: Specification and Verification of Component-Based Systems
2005
Toward Component-Oriented Formal Software Development: An Algebraic Approach
Lecture Notes in Computer Science, 2004
Towards Practical Support for Component-Based Software Development Using Formal Specification
Modelling Software System Structures in a Fastly …, 2000
Refinement and verification in component-based model-driven design
Science of Computer Programming, 2009
Formal Aspects of Component Software
Lecture Notes in Computer Science, 2017
Formal Specifications in Component-Based Development
Formal verification of component-based software systems
… of The First International Workshop on …, 2003
Rigorous development of component-based systems using component metadata and patterns
Formal Aspects of Computing, 2016
Validation of Component based Software Development
International Journal of Computer Applications (0975 – 8887), 2013
An Approach to Formal Specification of Component-Based Software
E-Government Strategies and Advancements, 2011
rCOS: a formal model-driven engineering method for component-based software
2012
SAVCBS 2004 Specification and Verification of Component-Based Systems: Workshop Proceedings
2004
Component-Based Systems: A Formal Approach
Proceedings of the Component Oriented Software Engineering (COSE’98) Workshop. Available at: http://www. fit. qut. edu. au/~ ibrahim/cosez. ps. Z, 1998
A refinement checking based strategy for component-based systems evolution
Journal of Systems and Software, 2020
Lecture Notes in Computer Science, 2014
rCOS: Refinement of Component and Object Systems
Lecture Notes in Computer Science, 2005
On Formal Specification of Software Components and Systems
Electronic Notes in Theoretical Computer Science, 2006
An Object-Oriented Refinement Calculus
1999
Deriving Specifications of Dependable Systems: toward a Method
Computing Research Repository, 2010
Formal specification of non-functional properties of component-based software systems
Software & Systems Modeling, 2009
Formal refinement checking in a system-level design methodology
Fundamenta …, 2004
SAVCBS 2003: Specification and Verification of Component-Based Systems
2003
Tracing Integration Analysis in Component-Based Formal Specifications
Formal Methods for Open Object-Based Distributed Systems, 2005
A Formal Framework for Scalable Component-Based Systems
International Journal of Information System Modeling and Design, 2017
2019
On the smooth implementation of component-based system specifications
2001
Software Engineering and Formal Methods
Communications of the ACM, 2008