sign in · help · news · about ·

BibSonomy :: user :: emanuel ::

tag user group author concept BibTeX key search:all search:emanuel

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

(1)

<< < 1 > >>

Kestrel Institute
kids, specware, planware
to applications ase deductive_program_synthesis institute program_synthesis smith software_engineering by emanuel on Apr 16, 2008, 4:02 PM
(0)

<< < 1 > >>bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(7)

<< < 1 > >>

Software Development by Refinement
Dusko Pavlovic, and Douglas R. Smith Formal Methods at the Crossroads: From Panacea to Foundational Support, volume 2757 of LNCS, page 267--286. (2003)
to ase deductive_program_synthesis inproceedings kestrel overview program_synthesis software_engineering by emanuel on Apr 21, 2010, 10:06 PM
URL | BibTeX (0)
Inductive Logic Programming: From Machine Learning to Software Engineering
Francesco Bergadano, and Daniele Gunetti MIT Press, Cambridge, MA, USA, (1995)
to book filp ilp induction inductive_programming machine_learning program_synthesis software_engineering by emanuel and 1 other user on May 26, 2009, 5:11 PM
BibTeX (0)
GAST: Generic Automated Software Testing
Pieter Koopman, Artem Alimarine, Jan Tretmans, and Rinus Plasmeijer Implementation of Functional Languages IFL'02, volume 2670 of LNCS, Springer, (2003)
to ase automated_testing gast software_engineering theorem_proving by emanuel on Dec 6, 2008, 10:22 PM
URL | BibTeX (0)
On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects
Pierre Flener, and Lubos Popelinsky Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformationn -- Meta-Programming in Logic, page 69--87. Springer-Verlag, (1994)
to ilp inductive_programming inproceedings position_paper program_synthesis software_engineering by emanuel on May 16, 2008, 6:04 PM
URL | BibTeX (0)
Specifications are necessarily informal or: some more myths of formal methods
Baudouin Le Charlier, and Pierre Flener Journal of Systems and Software 40(3):275--296 (1998)
to article ase comparison formal_methods position_paper program_synthesis software_engineering by emanuel and 2 other users on Apr 18, 2008, 5:43 PM
URL | BibTeX (0)
Inductive Programming
Pierre Flener, and Derek Partridge Automated Software Engineering 8(2):131--137 (2001)
to article ase induction inductive_programming position_paper program_synthesis software_engineering by emanuel and 1 other user on Apr 18, 2008, 5:29 PM
URL | BibTeX (0)
SPECWARE - Producing Software Correct by Construction
James McDonald, and John Anton KES.U.01.3.. Kestrel Institute, (2001)
to ase deductive_program_synthesis kestrel program_synthesis software_engineering specware techreport by emanuel on Apr 16, 2008, 4:23 PM
BibTeX (0)

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper