1390 search results - page 29 / 278 » Software Systems Integration and Architectural Analysis - A ... |
151
click to vote
DAC
1997
ACM
15 years 7 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...
476
click to vote
IJMI
2010
15 years 2 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 ...
159
click to vote
CSMR
2009
IEEE
15 years 8 months 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 ...
147
click to vote
SUTC
2008
IEEE
15 years 10 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...
159
click to vote
ECSA
2008
Springer
15 years 5 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 ...