2578 search results - page 454 / 516 » A Family-Oriented Software Development Process for Engine Co... |
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
An advanced communication system, the FlexRay system, has been developed for future automotive applications. It consists of time-triggered clusters, such as drive-by-wire in cars,...
130
click to vote
SERA
2005
Springer
15 years 8 months ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
105
Voted
ECLIPSE
2004
ACM
15 years 8 months ago
2004
ACM
This paper presents a profiling plug-in for IBM’s Eclipse development environment. Our approach characterises profiling as an interactive exploration of a large virtual database...
99
Voted
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
110
Voted
FDL
2003
IEEE
15 years 8 months ago
2003
IEEE
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business ...