Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2000
Alle Filter entfernen
Zeige Ergebnisse 81 bis 90 von 171.

  1. Serge Autexier; Dieter Hutter

    Towards an efficient management of change in an evolutionary formal software development

    In: W.Goerig (Hrsg.). Proceedings Workshop on Engineering of Software Verification, Validation, and Certification. Workshop on Engineering of Software Verification, Validation, and Certification, Universitaet Kiel, 2000.

  2. Serge Autexier; Dieter Hutter; Bruno Langenstein; Heiko Mantel; Georg Rock; Axel Schairer; Werner Stephan; Roland Vogt; Andreas Wolpers

    VSE: Formal Methods Meet Industrial Needs

    In: International Journal on Software Tools for Technology Transfer, Vol. 3, No. 1, Pages 66-77, Springer, Berlin, Heidelberg, 2000.

  3. Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer

    Towards an Evolutionary Formal Software-Development Using CASL

    In: C. Choppy; D. Bert (Hrsg.). Recent Trends in Algebraic Development Techniques, (WADT-99). International Workshop on Algebraic Development Techniques (WADT), Pages 73-88, Springer, LNCS 1827, 2000.

  4. Dieter Hutter; Michael Kohlhase

    Managing Structural Information by Higher-Order Colored Unification

    In: Journal of Automated Reasoning (JAR), Vol. 25, No. 2, Pages 123-164, Kluwer, 2000.

  5. Dieter Hutter; Bruno Langenstein; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt

    Formal Software Development in the Verification Support Environment

    In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 2000.

  6. Dieter Hutter; Heiko Mantel; Klaus P. Jantke; Georg Rock; Werner Stephan

    Automated Reasoning for System Verification: A Tutorial Introduction into VSE-II

    In: Proceedings Ilmenau International Scientific Colloquium, Special Track: Validation and Verification. Ilmenau International Scientific Colloquium, 2000.

  7. Dieter Hutter; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt

    Formal Software Development in the Verification Support Environment (VSE)

    In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). International FLAIRS Conference (FLAIRS), Pages 367-376, AAAI-Press, 2000.

  8. Dieter Hutter

    Annotated Reasoning

    In: Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 29, Kluwer Academic Publisher, 2000.

  9. Dieter Hutter

    Management of Change in Verification Systems

    In: Proceedings 15th IEEE International Conference on Automated Software Engineering, ASE-2000. IEEE International Conference on Automated Software Engineering (ASE), Pages 23-34, IEEE Computer Society, 2000.

  10. Bruno Langenstein; Markus Ullmann; Roland Vogt

    The Use of Formal Methods for Trusted Digital Signature Devices

    In: Proc. 13th Intern. FLAIRS Conf. International FLAIRS Conference (FLAIRS), AAAI Press, 2000.

Jahr