7380 search results - page 158 / 1476 » Engineering Software Intensive Systems |
FASE
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
ICSE
2001
IEEE-ACM
14 years 2 months ago
2001
IEEE-ACM
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...
DATE
2003
IEEE
14 years 3 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
ISSRE
2008
IEEE
14 years 4 months ago
2008
IEEE
The contribution of this paper is a technique to assess whether software failures during operational use can invalidate the trust assumptions and, hence, the adequacy of the softw...
XPU
2005
Springer
14 years 3 months ago
2005
Springer
This work focuses on standardization and improvement of processes and practices using a combination of methodologies including Agile Methodologies (AM). It was implemented at a Mex...