1579 search results - page 187 / 316 » A software development process supporting non-functional pro... |
131
click to vote
IFM
2009
Springer
16 years 5 days ago
2009
Springer
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
152
Voted
RIDE
1999
IEEE
15 years 10 months ago
1999
IEEE
The Internet and the proliferation of inexpensive computing power in the form of clusters of workstations or PCs provide the basic hardware infrastructure for business to business...
161
click to vote
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
Inspections provide an effective way of acquiring and reusing experience knowledge. Several details, in both the inspection processes and the inspection event itself, can be found...
125
click to vote
ICSE
2000
IEEE-ACM
15 years 9 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
141
click to vote
PODC
1995
ACM
15 years 9 months ago
1995
ACM
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...