77 search results - page 10 / 16 » Saturation Effects in Testing of Formal Models |
ICST
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract—Developers often make multiple changes to software. These changes are introduced to work cooperatively or to accomplish separate goals. However, changes might not intera...
DATAMINE
2006
13 years 7 months ago
2006
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...
RE
1999
Springer
13 years 11 months ago
1999
Springer
Requirements Engineering (RE) investigates the impact of a future-oriented change vision, but the move towards this vision must consider a context heavily shaped by the past. As R...
SIGIR
2012
ACM
11 years 9 months ago
2012
ACM
The intent-oriented search diversification methods developed in the field so far tend to build on generative views of the retrieval system to be diversified. Core algorithm compon...
ICAIL
1995
ACM
13 years 11 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...