7209 search results - page 156 / 1442 » Software Engineering for Multi-Agent Systems |
ESEC
1995
Springer
14 years 1 months ago
1995
Springer
This paper presents a case study in carrying out an audit of a large, softwareintensive system. We discuss our experience in structuring the team for obtaining maximum effectivene...
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...