An approach to systems verification
Journal of Automated Reasoning
Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
Design and use of software architectures: adopting and evolving a product-line approach
Design and use of software architectures: adopting and evolving a product-line approach
An ontological approach to domain engineering
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
A Reference Model for Requirements and Specifications
IEEE Software
Mathematical Methods for Digital Systems Development
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2: Tutorials
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
Pattern Oriented Software Architecture: On Patterns and Pattern Languages (Wiley Software Patterns Series)
Domain theory: practice and theories a discussion of possible research topics
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Cybernetics and Systems Analysis
Compositionality: ontology and mereology of domains
Concurrency, Compositionality, and Correctness
| Hi-index | 0.00 |
This divertimento - on the occasion of the 70th anniversary of Prof., Dr Hermann Maurer - sketches some observations over the concepts of domain, requirements and modelling - where abstract interpretations of these models cover both a priori, a posteriori and realtime aspects of the domain as well as 1-1, microscopic and macroscopic simulations, real-time monitoring and real-time monitoring & control of that domain. The reference frame for these concepts are domain models: carefully narrated and formally described domains. I survey more-or-less standard ideas of verifiable development and conjecture product families of demos, simulators, monitors and monitors & controllers - but now these "standard ideas" are recast in the context of core requirements prescriptions being "derived" from domain descriptions.