use of Prolog in formal software engineering methods 
Author Message
 use of Prolog in formal software engineering methods

I've been looking into the use of formal database analysis and design
methods in Geographic Information Systems (GIS), especially the subset
known as Automated Mapping/Facilities Management (AM/FM). When you see the
term AM/FM, it almost always refers to GIS for utility companies--which is
the industry I am interested in.

Like most large-scale efforts, data models and such are woefully
incomplete. Better formal methods--ones from which you can infer test
cases, database schemas, etc.--can save the American public literally
billions of dollars.

Prolog is, obviously, an obvious choice for writing programs to reason
about a database of formal specifications.

Anyone familiar with current or past work on applying Prolog to formal
database and software engineering methods?



Mon, 13 Apr 1998 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. LGL Seminar: Testing of Object-Oriented Software using Formal Specifications

2. LGL Seminar: Testing of Object-Oriented Software using Formal Specifications

3. LGL Seminar: Testing of Object-Oriented Software using Formal Specifications

4. Prolog Software Engineer urgently required

5. Software Engineer, CLP/Prolog/AI, Phila, PA, USA

6. Software Engineer - Prolog/C++

7. Resume: PhD Software Engineer - C++, LISP, Prolog, CLIPS, PL1, Adabas, DBase-IV, Fortran, Matlab, GPS

8. Software Engineers (Prolog) urgently required

9. Software Engineering and Prolog

10. Software Engineering in Prolog

11. Prolog Software Engineering

12. Resume: PhD Software Engineer - C++, LISP, Prolog, CLIPS, PL1, Adabas, DBase-IV, Fortran, Matlab, GPS

 

 
Powered by phpBB® Forum Software