3837 search results - page 84 / 768 » Concurrent Engineering support in Software Engineering |
123
click to vote
CODES
2001
IEEE
15 years 6 months ago
2001
IEEE
Models of computation like Kahn and dataflow process networks provide convenient means for modeling signal processing applicahis is partly due to the abstract primitives that thes...
102
click to vote
APSEC
1995
IEEE
15 years 6 months ago
1995
IEEE
The development of distributed applications is an open area involving researchers from different communities. We propose an object-oriented approach to the development of distribu...
133
click to vote
WCRE
1993
IEEE
15 years 7 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
151
Voted
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
111
click to vote
ICFEM
2003
Springer
15 years 8 months ago
2003
Springer
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...