Programming from specifications
Programming from specifications
Notions of computation and monads
Information and Computation
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Evolving algebras 1993: Lipari guide
Specification and validation methods
Presheaves as transition systems
POMIV '96 Proceedings of the DIMACS workshop on Partial order methods in verification
Self-adaptive software for signal processing
Communications of the ACM
Universal coalgebra: a theory of systems
Theoretical Computer Science - Modern algebra and its applications
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Coalgebraic Specifications and Models of Determinatistic Hybrid Systems
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Toward a Classification Approach to Design
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
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
Towards a Mathematical Operational Semantics
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Compiling with proofs
Chu I: cofree equivalences, dualities and *-autonomous categories
Mathematical Structures in Computer Science
On the use of formal specifications as part of running programs
Software Engineering for Multi-Agent Systems IV
A conceptual framework for adaptation
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Modelling and analyzing adaptive self-assembly strategies with maude
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Hi-index | 0.00 |
When people perform computations, they routinely monitor their results, and try to adapt and improve their algorithms when a need arises. The idea of self-adaptive software is to implement this common facility of human mind within the frameworkof the standard logical methods of software engineering. The ubiquitous practice of testing, debugging and improving programs at the design time should be automated, and established as a continuing run time routine. Technically, the taskth us requires combining functionalities of automated software development tools and of runtime environments. Such combinations lead not just to challenging engineering problems, but also to novel theoretical questions. Formal methods are needed, and the standard techniques do not suffice. As a first contribution in this direction, we present a basic mathematical frameworksuitable for describing self-adaptive software at a high level of semantical abstraction. A static view leads to a structure akin to the Chu construction. An dynamic view is given by a coalgebraic presentation of adaptive transducers.