1988 search results - page 282 / 398 » Engineering formal metatheory |
183
click to vote
WER
2007
Springer
16 years 16 days ago
2007
Springer
Since 1996, the core Use Case Map (UCM) notation has remained remarkably stable. As the structure and intent of workflow and scenario languages are very similar, UCMs have been ap...
156
click to vote
APSEC
2006
IEEE
16 years 15 days ago
2006
IEEE
In many software development projects, people tend to repeat same mistakes due to lack of shared knowledge from past experiences. Generally, it is very difficult to manually find ...
174
click to vote
ASWEC
2006
IEEE
16 years 15 days ago
2006
IEEE
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...
188
click to vote
ICDE
2006
IEEE
16 years 14 days ago
2006
IEEE
To realize the Semantic Web, it will be necessary to make existing database content available for emerging Semantic Web applications, such as web agents and services, which use on...
183
click to vote
ICSEA
2006
IEEE
16 years 14 days ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...