326 search results - page 38 / 66 » Tailoring and Verifying Software Process |
ROMAN
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— This paper describes a technical education program for high school students that comprises an image information processing system, stereo vision technology and control ...
ASWEC
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
IBERAMIA
2004
Springer
14 years 1 months ago
2004
Springer
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
CHI
2008
ACM
14 years 9 months ago
2008
ACM
The focus of this work is the requirements engineering process in the home care domain. The overall aim is to design and document a flexible methodology to facilitate the elicitat...