ACM Transactions on Programming Languages and Systems (TOPLAS)
Domain-Specific Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Metamodeling: a study of approximations in queueing models
Metamodeling: a study of approximations in queueing models
A Message-Based Approach to Discrete-Event Simulation
IEEE Transactions on Software Engineering
The executable model approach: synergistic strategies for maintaining the correctness and efficiency
The executable model approach: synergistic strategies for maintaining the correctness and efficiency
An introduction to the Research Queueing Package
WSC '85 Proceedings of the 17th conference on Winter simulation
WSC '87 Proceedings of the 19th conference on Winter simulation
Mean-Value Analysis of Closed Multichain Queuing Networks
Journal of the ACM (JACM)
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
The operational versus the conventional approach to software development
Communications of the ACM
Linearizer: a heuristic algorithm for queueing network models of computing systems
Communications of the ACM
Social processes and proofs of theorems and programs
Communications of the ACM
The Science of Programming
DEVS Formalism: A Framework for Hierarchical Model Development
IEEE Transactions on Software Engineering
Theory, Volume 1, Queueing Systems
Theory, Volume 1, Queueing Systems
| Hi-index | 0.00 |
An approach is proposed for extending the use of design models to the implementation and operational phases of the network development life cycle. A conceptual approach is offered for using executable models in the day-to-day operation of computer networks. Several strategies are given for integrating models into different development tasks. It is shown why these strategies are feasible. Characteristics of executable models that differ from those of traditional models are identified along with new technologies that reduce the cost of implementing and using executable models.