Publisher: Springer; 2001 edition (June 13, 2008)
Format: PDF / Kindle / ePub
Size: 7.5 MB
Downloadable formats: PDF
ETAPS 2001 was once the fourth example of the eu Joint meetings on thought and perform of software program. ETAPS is an annual federated convention that was once tested in 1998 via combining a few present and new meetings. This yr it comprised ve meetings (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite tv for pc workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The occasions that contain ETAPS handle numerous facets of the procedure de- lopment technique, together with speci cation, layout, implementation, research, and development. The languages, methodologies, and instruments which aid those - tivities are all good inside of its scope. Di erent blends of concept and perform are represented, with a tendency in the direction of thought with a pragmatic motivation on one hand and soundly-based perform at the different. a number of the concerns concerned about software program layout follow to structures in most cases, together with structures, and the emphasis on software program isn't meant to be unique.
Non-Monotonic Extensions of Logic Programming: Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers ... / Lecture Notes in Artificial Intelligence) ending
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, ... Papers (Lecture Notes in Computer Science) genre