1146 search results - page 98 / 230 » Formal Specification Generation from Requirement Documents |
COMPSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
CIKM
2005
Springer
15 years 3 months ago
2005
Springer
XML documents are frequently used in applications such as business transactions and medical records involving sensitive information. Typically, parts of documents should be visibl...
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
This paper addresses issues involved when an architect explore alternative designs including non-functional requirements; in our approach, non-functional requirements are expresse...
114
click to vote
DAC
1995
ACM
15 years 1 months ago
1995
ACM
— Most information and services required today by designers will soon become available as documents distributed in a wide area hypermedia network. New integration services are re...
JOCN
2010
14 years 8 months ago
2010
■ Selection between competing responses and stimulus-response association strength is thought to affect performance during verb generation. However, the specific contribution of...