Declarative specifications

Knowledge Engineering Review

Volumn 11, Issue 4, 1996, Pages 317-331

  Fuchs, Norbert E ^a   Robertson, David ^b  

^a UNIVERSITY OF ZURICH   (Switzerland)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LANGUAGES; FORMAL LOGIC; PROGRAMMING THEORY;

APPLICATION DOMAIN; APPLICATION SPECIFIC SPECIFICATION LANGUAGES; DECLARATIVE SPECIFICATIONS; FORMAL SPECIFICATION METHODS;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0030411720     PISSN: 02698889     EISSN: None     Source Type: Journal    
DOI: 10.1017/s0269888900008018     Document Type: Article

References (18)

1. Börger, E and Rosenzweig, D, 1994. "A mathematical definition of full Prolog" Science of Computer Programming.
2. Bundy, A, Byrd, L, Luger, G, Mellish, C and Milne, R, 1979. "Solving mechanics problems using meta-level inference" In BG Buchanan (ed), Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI).
3. Fromherz, MPJ, 1993. "A methodology for executable specifications-combining logic programming, object-orientation and multiple views" PhD thesis, Department of Computer Science, University of Zurich, Switzerland.
4. Fuchs, NE and Fromherz, MPJ, 1994. "Transformational development of logic programs from executable specifications-schema-based visual and textual composition of logic programs" In C Beckstein and U Geske (eds), Entwicklung, Test und Wartung deklarativer KI-Programme GMD Studien Nr. 238, Gesellschaft für Informatik und Datenverarbeitung, pp 13-28.
5. Fuchs, NE and Schwitter, R, 1996. "Attempto Controlled English (ACE)" CLAW96. First International Workshop on Controlled Language Applications University of Leuven, Belgium, March.
6. Hesketh, J, Robertson, D, Fuchs, N and Bundy, A, 1996. "Automating reasoning support for design" Research paper, Department of Artificial Intelligence, University of Edinburgh, Scotland.
7. Kowalski, RA, 1985. The Relation Between Logic Programming and Logic Specification Prentice-Hall.
8. Lloyd, JW, 1987. Foundations of Logic Programming Springer-Verlag.
9. Kramer, B and Mylopoulos, J, 1992. "Knowledge representation" In SC Shapiro (ed) Encyclopedia of Artificial Intelligence Wiley.
10. Lloyd, J, 1994. "Practical advantages of declarative programming" Invited lecture, GULP-PRODE '94, Peñiscola, Spain.
11. Pulman, S and Rayner, M, 1994. "Computer Processable Controlled Language" SRI International Cambridge Computer Science Research Centre, Cambridge.
12. Luqi, BR, 1993. "Process knowledge based rapid prototyping for requirements engineering" Proceedings IEEE Symposium on Requirements Engineering San Diego, CA.
13. Robertson, D, Bundy, A, Muetzelfeldt, R, Haggith, M and Uschold, M, 1991. Eco-Logic: Logic-Based Approaches to Ecological Modelling MIT Press (Logic Programming Series).
14. Robertson, D, 1996. "Distributed specification" Proceedings 12th European Conference on Artificial Intelligence (ECAI-96) Budapest, Hungary.
15. Robertson, D and Hesketh, J, 1994. "Making specification design more accountable" Proceedings ONR/ARPA/AFOSR/ARO/NSF Workshop on Increasing the Practical Impact of Formal Methods Monterey, CA.
16. Schwitter, R and Fuchs, NE, 1996. "Attempto - from specifications in controlled natural language towards executable specifications" GIEMISA Workshop Natürlichsprachlicher Entwurf von Informationssystemen, Tutzing.
17. Schwitter, R and Fuchs, NE, 1996. "Attempto Controlled English (ACE) - a seemingly informal bridgehead in formal territory" Extended abstract. In NE Fuchs and U Geske (eds) Proceedings Poster Session, JICSLP '96, Joint International Conference and Symposium on Logic Programming Bad Honnef, Germany.
18. Sterling, L, 1992. "A role for Prolog in software engineering" Computer Science Colloquium Department of Computer Science, University of Zurich, Switzerland.