179 search results - page 20 / 36 » Specification of Software Component Requirements Using the T... |
DATE
1999
IEEE
13 years 11 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
ENVSOFT
2002
13 years 6 months ago
2002
Many challenges are associated with the integration of geographic information systems (GISs) with models in specific applications. One of them is adapting models to the environmen...
FASE
2000
Springer
13 years 10 months ago
2000
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f...
PARELEC
2000
IEEE
13 years 10 months ago
2000
IEEE
Recent advances in high-speed networks, rapid improvements in microprocessor design, and availability of highly performing clustering software implementations enables cost-effecti...
ICSE
1997
IEEE-ACM
13 years 11 months ago
1997
IEEE-ACM
Implementing, validating, modifying, or reengineering an object-oriented system requires an understanding of the object and class interactions which occur as a program executes. T...