1146 search results - page 134 / 230 » Formal Specification Generation from Requirement Documents |
161
click to vote
SIGMOD
2006
ACM
15 years 10 months ago
2006
ACM
Recently, there has been extensive research that generated a wealth of new XML full-text query languages, ranging from simple Boolean search to combining sophisticated proximity a...
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
g Test Suites via Operational Abstraction Michael Harder Jeff Mellen Michael D. Ernst MIT Lab for Computer Science 200 Technology Square Cambridge, MA 02139 USA {mharder,jeffm,mern...
114
click to vote
CL
2008
Springer
14 years 10 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
DSN
2008
IEEE
14 years 11 months ago
2008
IEEE
We describe a specific application of assurance cases to the problem of ensuring that a transition from a legacy system to its replacement will not compromise mission assurance ob...
ACSAC
2003
IEEE
15 years 3 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...