Sciweavers

13456 search results - page 61 / 2692
» Design and Development in the
Sort
View
SOCO
2008
Springer
13 years 9 months ago
Software development with imperfect information
Delivering software systems that fulfill all requirements of the stakeholders is very difficult, if not at all impossible. We consider the problem of coping with imperfect informat...
Joost Noppen, Pim van den Broek, Mehmet Aksit
FBT
1998
129views Formal Methods» more  FBT 1998»
13 years 11 months ago
Specification Modules for Methodical System Development
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...
Franz Huber, Bernhard Schätz
HASKELL
2006
ACM
14 years 3 months ago
Running the manual: an approach to high-assurance microkernel development
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
Philip Derrin, Kevin Elphinstone, Gerwin Klein, Da...
CSREAESA
2006
13 years 11 months ago
Integration of an Analysis Tool for Large-Scale Embedded Real-Time Software into a Vehicle Control Platform Development Tool Cha
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
Xiaofeng Yin, Daniel L. Kiskis, Daniel Mihalik, Ka...
HT
1998
ACM
14 years 1 months ago
Pushing Reuse in Hypermedia Design: Golden Rules, Design Patterns and Constructive Templates
Reuse is increasingly strategic for reducing cost and improving quality of hypermedia design and development. In this paper, based on the design and development of a real hypermed...
Marc Nanard, Jocelyne Nanard, Paul Kahn