614 search results - page 43 / 123 » Design Methodology for a Modular Component Based Software Ar... |
VSTTE
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
COMPSAC
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...
KI
2007
Springer
14 years 3 months ago
2007
Springer
The paper describes the Executable Design Concept which is one of the main components of HeKatE: Hybrid Knowledge Engineering methodology. HeKatE project aims at developing a metho...
EDOC
2007
IEEE
14 years 3 months ago
2007
IEEE
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that addr...
CODES
2001
IEEE
14 years 21 days ago
2001
IEEE
Comprehensive exploration of the design space parameters at the system-level is a crucial task to evaluate architectural tradeoffs accounting for both energy and performance const...