Lecture Notes in Computer Science - Perspectives of System Informatics
Latest Publications

TOTAL DOCUMENTS

52
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540430759, 9783540455752
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Reexecution-Based Analysis of Logic Programs with Delay Declarations

2001 ◽  
pp. 395-405
Author(s):  
Agostino Cortesi ◽  
Baudouin Le Charlier ◽  
Sabina Rossi
Keyword(s):  
Logic Programs

An Extension of Dynamic Logic for Modelling OCL’s @pre Operator

2001 ◽  
pp. 47-54 ◽  
Author(s):  
Thomas Baar ◽  
Bernhard Beckert ◽  
Peter H. Schmitt
Keyword(s):  
Dynamic Logic

Automated Program Synthesis for Java Programming Language

2001 ◽  
pp. 157-164 ◽  
Author(s):  
Mait Harf ◽  
Kristiina Kindel ◽  
Vahur Kotkas ◽  
Peep Küngas ◽  
Enn Tyugu
Keyword(s):  
Programming Language ◽  
Program Synthesis ◽  
Java Programming Language ◽  
Java Programming

Java Specification Extension for Automated Test Development

2001 ◽  
pp. 301-307 ◽  
Author(s):  
Igor B. Bourdonov ◽  
Alexey V. Demakov ◽  
Andrew A. Jarov ◽  
Alexander S. Kossatchev ◽  
Victor V. Kuliamin ◽  
...  
Keyword(s):  
Test Development ◽  
Automated Test
Load More ...
Sign in / Sign up

Export Citation Format

Share Document