403 search results - page 10 / 81 » Integrating Z into Large Projects Tools and Techniques |
HIPS
1998
IEEE
15 years 1 months ago
1998
IEEE
Industrial applications use specific problem-oriented implementations of large sparse and irregular data structures. Hence there is a need for tools that make it possible for deve...
112
click to vote
AQUILEIA
2011
13 years 9 months ago
2011
A large number of technologies, such as Geographic Information Systems (GIS), Global Positioning Systems (GPS), Remote Sensing (RS), geophysical instruments, allows nowadays for fa...
DAC
1996
ACM
15 years 1 months ago
1996
ACM
This paper provides a case study that shows how a demanding application stresses the capabilities of today's CAD tools, especially in the integration of products from multipl...
100
click to vote
CC
2001
Springer
15 years 1 months ago
2001
Springer
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...
OHS
2001
Springer
15 years 1 months ago
2001
Springer
Software engineers face a difficult task in managing the many different types of relationships that exist between the documents of a software development project. We refer to this...