In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...
—In this paper, we present a new sketch-based system — KnitSketch, to improve the efficiency of process planning for knitting garments at an early design stage. The KnitSketch...
This study questions the traditional view of software architecture as a specification that needs only be understood by software architects and engineers. Based on an intensive stu...
Many software engineering research tools are stand-alone applications that have trouble interoperating with other development tools and do not fit well into the software develope...
Jun Ma, Holger M. Kienle, Piotr Kaminski, Anke Web...
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
Richard J. Anderson, Paul Beame, Steve Burns, Will...