Rigorous development of component-based systems using component metadata and patterns (original) (raw)
Related papers
SAVCBS 2005 Proceedings: Specification and Verification of Component-Based Systems
2005
Modular consistency analysis of component-based designs
Journal of Research and Practice in Information Technology, 2004
An Approach to Modelling and Verification of Component Based Systems
Lecture Notes in Computer Science, 2007
Compositional verification for component-based systems and application
IET Software, 2010
Formal Verification Issues For Component-Based Development
Informatica, 2020
Using automatable proof obligations for component-based design checking
Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems, 1999
SAVCBS 2004 Specification and Verification of Component-Based Systems: Workshop Proceedings
2004
Component-based design and analysis: a case study
First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings., 2003
An Approach to Formal Specification of Component-Based Software
E-Government Strategies and Advancements, 2011
A new formalism for mathematical description and verification of component-based systems
The Journal of Supercomputing, 2009
Formal Aspects of Component Software
Lecture Notes in Computer Science, 2017
Information and Software Technology, 2012
Refinement and verification in component-based model-driven design
Science of Computer Programming, 2009
Formal verification of component-based software systems
… of The First International Workshop on …, 2003
Fundamental Approaches to Software Engineering, 2004
Verifying Invariants of Component-Based Systems through Refinement
Lecture Notes in Computer Science, 2004
Serious Specification for Composing Components
Component-Based Software Engineering, 2003
Composition for component-based modeling
Science of Computer Programming, 2005
A refinement checking based strategy for component-based systems evolution
Journal of Systems and Software, 2020
Formal specification of non-functional properties of component-based software systems
Software & Systems Modeling, 2009
A Case Study in Parallel Verification of Component-Based Systems
Electronic Notes in Theoretical Computer Science, 2008
An Architecture Description Language for Verification in Component-Based Software
2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Bisimulation for Component-Based Development
Citeseer
SAVCBS 2003: Specification and Verification of Component-Based Systems
2003
On the smooth implementation of component-based system specifications
2001
Component-interaction automata as a verification-oriented component-based system specification
ACM SIGSOFT Software Engineering Notes, 2006
The Specification of Dynamic Distributed Component Systems
1998
A Refinement Driven Component-Based Design
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007
Unifying Architectural and Behavioural Specifications of Distributed Components
Electronic Notes in Theoretical Computer Science, 2010
Formal Specifications in Component-Based Development
Compositional Verification Using a Formal Component and Interface Specification
Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design
A formal framework for design component contracts
Formalising Well-Behaved Components
2003