Category theory for computing science
Category theory for computing science
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Theoretical Computer Science
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Evolving algebras 1993: Lipari guide
Specification and validation methods
Semantics of First Order Parametric Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Specware: Formal Support for Composing Software
MPC '95 Mathematics of Program Construction
Composition and Refinement of Behavioral Specifications
Proceedings of the 16th IEEE international conference on Automated software engineering
Guarded Transitions in Evolving Specifications
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Composition and Refinement of Behavioral Specifications
Proceedings of the 16th IEEE international conference on Automated software engineering
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
Requirement enforcement by transformation automata
Proceedings of the 6th workshop on Foundations of aspect-oriented languages
Generating Programs Plus Proofs by Refinement
Verified Software: Theories, Tools, Experiments
Evolving Specification Engineering
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol
Electronic Notes in Theoretical Computer Science (ENTCS)
Matching logic: an alternative to hoare/floyd logic
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Testing semantics: connecting processes and process logics
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
ICDCIT'12 Proceedings of the 8th international conference on Distributed Computing and Internet Technology
Checking reachability using matching logic
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
| Hi-index | 0.00 |
This paper presents a mechanizable framework forspecifying, developing, and reasoning about complexsystems. The framework combines features from alge-braic specifications, abstract state machines, and refinement calculus, all couched in a categorical setting.In particular, we show how to extend algebraic specifications to evolving specifications (especs) in such away that composition and refinement operations extend to capture the dynamics of evolving, adaptive,and self-adaptive software development, while remaining efficiently computable. The framework is partiallyimplemented in the Epoxi system.