Sciweavers

4919 search results - page 340 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
IHI
2010
109views Healthcare» more  IHI 2010»
14 years 12 months ago
Process-based derivation of requirements for medical devices
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...
Heather M. Conboy, George S. Avrunin, Lori A. Clar...
143
Voted
ADAEUROPE
1997
Springer
15 years 9 months ago
The SPIF Project
This paper introduces the current developments of the SPIF (Syst`eme de Prototypage `a Implantation rapide et Faible coˆut) project. The goal of SPIF is to provide a low cost envi...
Bertrand Dupouy, Olivier Hainque, Laurent Pautet, ...
92
Voted
ICSE
2003
IEEE-ACM
16 years 5 months ago
Pluggable Reflection: Decoupling Meta-Interface and Implementation
Reflection remains a second-class citizen in current programming models, where it's assumed to be imperative and tightly bound to its implementation. In contrast, most object...
David H. Lorenz, John M. Vlissides
ICSE
2007
IEEE-ACM
16 years 5 months ago
SCL: Static Enforcement and Exploration of Developer Intent in Source Code
Developers are often unaware of, or fail to respect, the intentions behind a design due to poor communication of design intent. SCL (Structural Constraint Language) helps develope...
Daqing Hou
109
Voted
CSSE
2008
IEEE
15 years 11 months ago
A New CSP Operator for Optional Parallelism
We introduce a new CSP operator for modeling scenarios characterised by partial or optional parallelism. We provide examples of such scenarios and sketch the semantics of our oper...
Stefan Gruner, Derrick G. Kourie, Markus Roggenbac...