Specification of abstract data types
Specification of abstract data types
Extreme programming: a discipline of software development (invited paper) (abstract only)
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Data Abstraction, Implementation, Specification, and Testing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Typing a multi-language intermediate code
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Formal Specifications and Test: Correctness and Oracle
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Formal software engineering for computational modelling
Nordic Journal of Computing
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Casl User Manual: Introduction to Using the Common Algebraic Specification Language Casl (Lecture Notes in Computer Science, 2900)
Concepts: linguistic support for generic programming in C++
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Case study on algebraic software methodologies for scientific computing
Scientific Programming
C++ concepts as institutions: a specification view on concepts
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
Axiom-Based Transformations: Optimisation and Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordinate-free numerics: all your variation points for free?
International Journal of Computational Science and Engineering
| Hi-index | 0.00 |
The institution notion is a general model theoretic framework, explaining how specifications (algebraic axioms) relate to models (mathematical models or even software constructions) in a formalism-independent manner. There is a large set of institution-independent structuring mechanisms for specifications. Property aware programming, as e.g. supported by concepts in C++0X, provides algebraic axioms as part of the code to ensure correctness of generic software composition. Testing is very important for the validation of software, but tests are all too often developed on an ad hoc basis. Here we present a library testing framework, with a basis in structured specifications. The approach will be demonstrated on Sophus, a medium-sized software library for coordinate-free numerics. Sophus was developed using (informal) algebraic specifications in order to improve reusability and reduce development costs.