2487 search results - page 169 / 498 » Collaborative Engineering Software Development: Ontology-Bas... |
130
click to vote
ADAEUROPE
2001
Springer
15 years 8 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
118
click to vote
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
141
Voted
PDP
2003
IEEE
15 years 9 months ago
2003
IEEE
Organizations increasingly coordinate their product and service development processes to deliver their products and services as fast as possible, and to involve employees, custome...
136
Voted
IUI
1993
ACM
15 years 7 months ago
1993
ACM
incompatibility. We introduce Mona, an operational email system embodying this automatic approach. Mona establishes conversation context independently of user actions through the ...
140
click to vote
ECBS
2006
IEEE
15 years 9 months ago
2006
IEEE
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...