Sciweavers

1579 search results - page 18 / 316
» A software development process supporting non-functional pro...
Sort
View
ISPW
2005
IEEE
14 years 1 months ago
Process Programming to Support Medical Safety: A Case Study on Blood Transfusion
Medical errors are now recognized as a major cause of untimely deaths or other adverse medical outcomes. To reduce the number of medical errors, the Medical Safety Project at the U...
Lori A. Clarke, Yao Chen, George S. Avrunin, Bin C...
APSEC
2004
IEEE
13 years 11 months ago
Tool Supported Development of Service-Based Systems
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
Martin Deubler, Johannes Grünbauer, Gerhard P...
WETICE
1999
IEEE
14 years 4 hour ago
A Concept for Supporting the Formation of Virtual Corporations through Negotiation
This paper describes a system that supports software development processes in virtual software corporations. A virtual software corporation consists of a set of enterprises that c...
Boris Kötting, Frank Maurer
FM
1998
Springer
153views Formal Methods» more  FM 1998»
13 years 12 months ago
VSE: Controlling the Complexity in Formal Software Developments
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...
ICSE
2010
IEEE-ACM
13 years 9 months ago
Supporting developers with natural language queries
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
Michael Würsch, Giacomo Ghezzi, Gerald Reif, ...