We consider two software packages that interact with each other as components: Overture and PETSc. An interface between these two packages could be of tremendous value to applicati...
Kristopher R. Buschelman, William Gropp, Lois C. M...
This paper describes the use of executable specifications to ease incremental development, by providing more flexibility regarding the order in which modules are implemented. In t...
This paper describes the functionality required for a development environment that supports stratified programming (SP), a novel software development method that we have proposed ...
Sergiu M. Dascalu, Adrian Pasculescu, Josh Wooleve...
: This paper presents the Process for Agent Specification, Simulation and Implementation (PASSIM), a simulation-based development process for Multi-agent Systems (MASs), which was ...
: As service management systems are deployed in an open service market environment, the pressures on their developers to shorten development times and improve the flexibility of sy...