Jasmine: a software system modelling facility
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Specification and verification of liveness properties of cyclic, concurrent processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
Building interprocess communication models using Stile
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
The Z notation: a reference manual
The Z notation: a reference manual
Communication and concurrency
Constructing Distributed Systems in Conic
IEEE Transactions on Software Engineering
A formal framework for the design of development environments
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Specification case studies
Delirium: an embedding coordination language
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Software development control based on module interconnection
ICSE '79 Proceedings of the 4th international conference on Software engineering
1997 workshop on foundations of component-based systems
ACM SIGSOFT Software Engineering Notes
Using view-based models to formalize architecture description
ISAW '98 Proceedings of the third international workshop on Software architecture
An approach to architectural analysis and testing
ISAW '98 Proceedings of the third international workshop on Software architecture
An extensible model of architecture description
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Generative Programming for Embedded Systems
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
A scheduling expert advisor for heterogeneous environments
HCW '97 Proceedings of the 6th Heterogeneous Computing Workshop (HCW '97)
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Metamodeling-rapid design and evolution of domain-specific modeling environments
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
ORBIT: an environment for component-based heterogeneous design and analysis
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Using automatable proof obligations for component-based design checking
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Hi-index | 0.01 |
A model is proposed that formalizes the design of hierarchical module structures. The model is specified by a collection of Z schema type definitions that is invariant across all applications. A particular application is described by specifying the values of generic parameters and adding application-specific declarations and constraints to the schema definitions. As applications, the definitions in the model are used to describe the Conic configuration language and the STILE graphical design and development environment.