5515 search results - page 233 / 1103 » Software architecture: a roadmap |
206
click to vote
DATE
2003
IEEE
16 years 14 days ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
184
click to vote
SERP
2003
15 years 8 months ago
2003
This paper describes an application of the IEEE Standard 1471-2000, “Recommended practice for architectural description of softwareintensive system” in a software integration ...
188
click to vote
FLAIRS
2000
15 years 8 months ago
2000
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
157
click to vote
CSMR
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper describes an approach for the migration of supervisory machine control architectures. This migration, from a paradigm based on finite-state machines to a paradigm base...
188
click to vote
ADAEUROPE
2005
Springer
16 years 22 days ago
2005
Springer
Teleoperated robots are used to perform hazardous tasks that human operators cannot carry out. The purpose of this paper is to present a new architecture (ACROSET) for the developm...