2. German-Argentinian Workshop on Information Technology 1999:
Königswinter, Germany
Stefan Jähnichen, Irene Loiseau (Eds.):
Proceedings of the 2nd German-Argentinian Workshop on Information Technology, Königswinter, Germany, March 3-5, 1999. International Bureau of the BMBF, North and South America, Bonn, 1999 (http:
//www.dlr.de/ib/)
Technologies for the Design and Implementation of Application Systems
Automated Reasoning and Formal Software Development
- Herbert Weber, Marcus Klar, Stefan Mann, Ralf-Detlef Kutsche, Stefan Jähnichen, Robert Büssow, Hartmut Ehrig, Robert Geisler, Gabriel Baum, Claudia Pons, Miguel Felder, Sergio Waldoke:
Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.
23-30

- Software System Verification and Program Derivation.
31-38

- Jürgen Dix, Frieder Stolzenburg, Guillermo Ricardo Simari, Pablo R. Fillottrani:
Automating Defeasible Reasoning with Logic Programming.
39-46

- Luis Mandel, Marcelo Campo, Analía Amandi, Thom W. Frühwirth, Bernd Meyer, Slim Abdennadher, Bernhard Bauer:
JACK - Java Constraint Kit.
47-58

Algorithms for Planning, Optimization and Scheduling of Application Systems
Applied Research for Further Application of Computer Science Technology
- Martin Gaedke, Hans-Werner Gellersen, Silvia E. Gordillo, Fernando Lyardet, Gustavo Rossi, Daniel Schwabe:
Using Components in Web Document Engineering.
75-80

- Francisco Javier Diaz, Luis Marrone, Claudia Mariana Banchoff Tzancoff, Ralf Steinmetz, Abdulmotaleb El-Saddik:
Enabling Interactive Multimedia-Based Collaborative Learning.
81-86

- Alejandro César Frery, Julio Jacobo-Berlles, Marta Mejail:
User-Friendly Statistical Tools for Information Retrieval in SAR Imagery.
87-94

- Martin Wirsing, Nora Koch, Gustavo Rossi, Alejandra Garrido, Luis Mandel, Alfred Helmerich, Luis Olsina:
Specification and Modelling of Multimedia and Hypermedia Applications in Distributed Systems.
95-

Last update Sat May 18 18:32:23 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page