Sciweavers

2698 search results - page 317 / 540
» Software Process Model Blueprints
Sort
View
SCESM
2006
ACM
238views Algorithms» more  SCESM 2006»
16 years 15 days ago
Nobody's perfect: interactive synthesis from parametrized real-time scenarios
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
Holger Giese, Stefan Henkler, Martin Hirsch, Flori...
ANSS
1999
IEEE
15 years 11 months ago
SIM-ENG: A Traffic Simulation Engine
The need for traffic analysis and traffic management applies to a vast range of disciplines. Simulation of traffic may assist in both analysis and management of traffic. In many s...
John M. Creagh
ESE
2000
61views Database» more  ESE 2000»
15 years 6 months ago
Requirements-Based Estimation of Change Costs
We present a case study that aims at quantitative assessment of the impact of requirements changes, and quantitative estimation of costs of the development activities that must be ...
Luigi Lavazza, Giuseppe Valetto
CSSE
2008
IEEE
16 years 1 months ago
Analysis of the Virtual Enterprise Partner Selection Based on Multi-agent System
: Today, virtual enterprise is regarded as the most competitive management model of enterprises that faces the resource of the globe. This paper proposed an instructor of remote ma...
Zunqi Yang, Hai Lin
B
2007
Springer
16 years 22 days ago
A Generic Flash-Based Animation Engine for ProB
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
Jens Bendisposto, Michael Leuschel