ISSTA
2000
ACM
14 years 9 days ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
ISSTA
2000
ACM
14 years 9 days ago
2000
ACM
ISSTA
2000
ACM
14 years 9 days ago
2000
ACM
ISSTA
2000
ACM
14 years 9 days ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
ISSTA
2000
ACM
14 years 9 days ago
2000
ACM
APL
2000
ACM
14 years 9 days ago
2000
ACM
Although classical object-oriented programming languages provide high-level modeling capacities t data type, inheritance etc.), they remain low-level when it comes to data manipul...
APL
2000
ACM
14 years 9 days ago
2000
ACM
The identification of pktases in a sentence can be useful as a pre-processing step before attempting the full paxsing. There is a]xeady much 1/teratuxe about fmding simple non-rec...
APL
2000
ACM
14 years 9 days ago
2000
ACM
WCRE
2000
IEEE
14 years 9 days ago
2000
IEEE
Recently exchange formats have gained lots of attention. Multiple tools need to interact and/or work on the same software system. Especially there is a need to reuse parser techno...
WCRE
2000
IEEE
14 years 9 days ago
2000
IEEE
The Unix programming environment provides a rich and fairly standard set of generic tools for the development and maintenance of software. In an age of advanced software tools and...