2253 search results - page 386 / 451 » An Approach to Specifying Software Frameworks |
141
Voted
PDP
2003
IEEE
15 years 9 months ago
2003
IEEE
Organizations increasingly coordinate their product and service development processes to deliver their products and services as fast as possible, and to involve employees, custome...
173
Voted
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
162
click to vote
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
From a software engineering perspective, agent systems are a specialization of object-oriented (OO) systems, in which individual objects have their own threads of control and thei...
117
click to vote
ICECCS
1998
IEEE
15 years 8 months ago
1998
IEEE
All systems, regardless of how carefully they have been constructed, suffer failures. This paper focuses on developing a formal understanding of failure with respect to system imp...
126
Voted
EGOV
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we present a framework for identifying the test focus and test objectives based on the assumption that automatic information processing based on encoded meaning is th...