2838 search results - page 401 / 568 » Verifying Controlled Components |
EMSOFT
2001
Springer
14 years 3 months ago
2001
Springer
This paper is meant to motivate tools and methods research in the field of model-based embedded software development. In particular, we include usage scenarios to describe how an a...
WEBENG
2001
Springer
14 years 3 months ago
2001
Springer
From a software engineering perspective the World Wide Web is a new application platform. The implementation model that the Web is based on makes it difficult to apply classic proc...
CSMR
2000
IEEE
14 years 3 months ago
2000
IEEE
This paper presents a technique for recovering the high level design of legacy software systems according to user defined architectural plans. Architectural plans are represented...
DATE
2000
IEEE
14 years 3 months ago
2000
IEEE
This paper presents the system synthesis techniques available in S3 E2 S, a CAD environment for the specification, simulation, and synthesis of embedded electronic systems that ca...
ICPR
2000
IEEE
14 years 3 months ago
2000
IEEE
The navigational tasks of computingtime-to-impact and controlling movements within specific range are addressed here. By using specially designed lenses various components of thes...