4469 search results - page 307 / 894 » A Language for Role Specifications |
233
Voted
ECOOP
2010
Springer
15 years 10 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
142
click to vote
JANCL
2006
15 years 6 months ago
2006
We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are welldesi...
158
click to vote
HICSS
2003
IEEE
16 years 21 hour ago
2003
IEEE
By its very nature, software development consists of many knowledge-intensive processes. One of the most difficult to model, however, is requirements elicitation. This paper prese...
183
click to vote
ADC
2004
Springer
15 years 10 months ago
2004
Springer
Current collaborative work environments are characterized by dynamically changing organizational structures. Although there have been several efforts to refine work distribution, ...
167
click to vote
AICOM
1999
15 years 6 months ago
1999
On-board diagnostic systems play an important role in the current generation of cars and will play an increasingly important role in the next future. The design of on-board diagno...