1390 search results - page 29 / 278 » Software Systems Integration and Architectural Analysis - A ... |
DAC
1997
ACM
13 years 11 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
IJMI
2010
13 years 6 months ago
2010
The integration of Software Engineering (SE) and Human-Computer Interaction (HCI) methods and models is an interesting means for modelling an organization's activities, with ...
CSMR
2009
IEEE
14 years 11 days ago
2009
IEEE
Decomposing a software system into smaller, more manageable clusters is a common approach to support the comprehension of large systems. In recent years, researchers have focused ...
SUTC
2008
IEEE
14 years 2 months ago
2008
IEEE
— In this paper we discuss the design methodology based on the service-oriented architecture and agile development principles for wireless embedded and sensor networks (WSNs). Th...
ECSA
2008
Springer
13 years 9 months ago
2008
Springer
Reference architectures provide major guidelines for the structure of a class of information systems. Because of their fundamental role, reference architectures have to be of high ...