Sciweavers

5398 search results - page 240 / 1080
» On the Effective Use of Software Standards in Systems Integr...
Sort
View
ICSE
2009
IEEE-ACM
16 years 1 months ago
Automated testing of healthcare document transformations in the PICASSO interoperability platform
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...
Massimo Pascale, Marcello Roselli, Umberto Rugani,...
TASE
2011
IEEE
15 years 1 months ago
KnitSketch: A Sketch Pad for Conceptual Design of 2D Garment Patterns
—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...
Cui-Xia Ma, Yong-Jin Liu, Hai-Yan Yang, Dong-Xing ...
EJIS
2008
79views more  EJIS 2008»
15 years 6 months ago
Software architectures: Blueprint, Literature, Language or Decision?
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...
Kari Smolander, Matti Rossi, Sandeep Purao
CASCON
2003
97views Education» more  CASCON 2003»
15 years 8 months ago
Customizing lotus notes to build software engineering tools
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...
SIGSOFT
1996
ACM
15 years 10 months ago
Model Checking Large Software Specifications
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...