3555 search results - page 6 / 711 » Security-Critical System Development with Extended Use Cases |
HICSS
2007
IEEE
15 years 3 months ago
2007
IEEE
ISEUD
2009
Springer
15 years 4 months ago
2009
Springer
The paper is a case study of customer-initiated software product development. We have observed and participated in system development activities in a commercial software house (com...
GG
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
FATES
2004
Springer
15 years 2 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
AOSE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Agent-oriented methodologies are an important means for constructing agent-based systems in a controlled repeatable form. However, agent-oriented methodologies have not r...