3441 search results - page 66 / 689 » Provenance of Software Development Processes |
QSIC
2003
IEEE
14 years 3 months ago
2003
IEEE
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL...
SDL
2007
13 years 11 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
AGILEDC
2004
IEEE
14 years 1 months ago
2004
IEEE
DecisionSpace Infrastructure was an effort to develop new software in a company where the corporate culture was geared to support old products. The team was large and distributed,...
UML
2005
Springer
14 years 3 months ago
2005
Springer
In the context of Model Driven Development, models play a central role. Since models can nowadays be executed, they are used not only for description but also for production [32][3...
ISPW
2007
IEEE
14 years 4 months ago
2007
IEEE
To produce quality software and evolve them in an economic and timely fashion, enactable software process models are used for regulating development activities with the support of ...