TASE
2007
IEEE
14 years 6 months ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
TASE
2007
IEEE
14 years 6 months ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
TASE
2007
IEEE
14 years 6 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
TASE
2007
IEEE
14 years 6 months ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
SEW
2007
IEEE
14 years 6 months ago
2007
IEEE
We revisit the automatic tool composition feature of the Electronic Tool Integration platform under the perspective of planning. It turns out that in todays terminology, ETIs temp...
SEW
2007
IEEE
14 years 6 months ago
2007
IEEE
- Over the past years, the Capability Maturity Model (CMM) and Capability Maturity Model Integration (CMMI) have been broadly used for assessing organizational maturity and process...
SEW
2007
IEEE
14 years 6 months ago
2007
IEEE
SEW
2007
IEEE
14 years 6 months ago
2007
IEEE
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...
SEW
2007
IEEE
14 years 6 months ago
2007
IEEE
The communication and tasking infrastructure of a realtime application makes up a significant portion of any embedded control system. Traditionally, the tasking and communication...
SEFM
2007
IEEE
14 years 6 months ago
2007
IEEE