Communicating sequential processes
Communicating sequential processes
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Refactoring: improving the design of existing code
Refactoring: improving the design of existing code
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Software engineering (6th ed.)
Software engineering (6th ed.)
Using multidimensional separation of concerns to (re)shape evolving software
Communications of the ACM
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process
Communication and Concurrency
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
The Mythical Man-Month: After 20 Years
IEEE Software
rCOS: a refinement calculus of object systems
Theoretical Computer Science - Components and objects
Chapter I: Notes on structured programming
Structured programming
Metamodel-based model conformance and multiview consistency checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Integrating Refinement into Software Development Tools
Electronic Notes in Theoretical Computer Science (ENTCS)
Harnessing Theories for Tool Support
ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Separation of Concerns and Consistent Integration in Requirements Modelling
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Modelling with Relational Calculus of Object and Component Systems - rCOS
The Common Component Modeling Example
Software-Intensive Systems and New Computing Paradigms: Challenges and Visions
Software-Intensive Systems and New Computing Paradigms: Challenges and Visions
Refinement and verification in component-based model-driven design
Science of Computer Programming
Graph transformations for object-oriented refinement
Formal Aspects of Computing
Putting theories together to make specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
A model of component-based programming
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Specification and validation of behavioural protocols in the rCOS modeler
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Component-based software engineering
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Robustness testing for software components
Science of Computer Programming
A graph-based implementation for mechanized refinement calculus of OO programs
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Systems-theoretic view of component-based software development
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Unblockable compositions of software components
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Failure-divergence semantics and refinement of long running transactions
Theoretical Computer Science
A framework for automated and certified refinement steps
Innovations in Systems and Software Engineering
Graph-based object-oriented hoare logic
Theories of Programming and Formal Methods
| Hi-index | 0.00 |
We present the roadmap of the development of the rCOS theory and its tool support for component-based model driven software development (CB-MDD). First the motivation for using CB-MDD, its needs for a theoretical foundation and tool support are discussed, followed by a discussion of the concepts, techniques and design decisions in the research of the theory and the development of the prototype tool. The concepts, techniques and decisions discussed here have been formalized and published. References to those publications are provided with explanations. Based on the initial experiences with a case study and the preliminary rCOS tool development, further development trajectory leading to further integration with transformation and analysis plug-ins is delineated.