1146 search results - page 164 / 230 » Formal Specification Generation from Requirement Documents |
129
click to vote
WOSP
1998
ACM
15 years 2 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
ISF
2006
14 years 9 months ago
2006
The development of complex products, such as automobiles, involves engineering changes that frequently require redesigning or altering the products. Although it has been found that...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
CIKM
2005
Springer
15 years 3 months ago
2005
Springer
The detection of new information in a document stream is an important component of many potential applications. In this paper, a new novelty detection approach based on the identi...
110
click to vote
DGO
2011
13 years 9 months ago
2011
In this paper, we describe a tool to help holistically understand, research and analyze the relationship between an ecosystem model and the relevant laws. Specifically, a software...