Result 1 to 20 of 99 total
A constructive approach to testing model transformations. (English)
Tratt, Laurence (ed.) et al., Theory and practice of model transformations. Third international conference, ICMT 2010, Malaga, Spain, June 28 ‒ July 2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13687-0/pbk). Lecture Notes in Computer Science 6142, 77-92 (2010).
1
Proof-theoretic and higher-order extensions of logic programming. (English)
Dovier, Agostino (ed.) et al., A 25-year perspective on logic programming. Achievements of the Italian Association for Logic Programming, GULP. Berlin: Springer (ISBN 978-3-642-14308-3/pbk). Lecture Notes in Computer Science 6125, 254-270 (2010).
2
Proof-theoretic and higher-order extensions of logic programming (English)
25 Years GULP, 254-270 (2010).
3
A constructive approach to testing model transformations (English)
ICMT, 77-92 (2010).
4
Applying ASP to UML model validation. (English)
Erdem, Esra (ed.) et al., Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14‒18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04237-9/pbk). Lecture Notes in Computer Science 5753. Lecture Notes in Artificial Intelligence, 457-463 (2009).
5
Towards a type discipline for answer set programming. (English)
Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26‒29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 117-135 (2009).
6
Control encapsulation: A calculus for exogenous composition of software components. (English)
Lewis, Grace A. (ed.) et al., Component-based software engineering. 12th international symposium, CBSE 2009, East Stroudsburg, PA, USA, June 24‒26, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02413-9/pbk). Lecture Notes in Computer Science 5582, 121-139 (2009).
7
Applying ASP to UML model validation (English)
LPNMR, 457-463 (2009).
8
Control encapsulation: A calculus for exogenous composition of software components (English)
CBSE, 121-139 (2009).
9
Snapshot generation in a constructive object-oriented modeling language. (English)
King, Andy (ed.), Logic-based program synthesis and transformation. 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23‒24, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-78768-6/pbk). Lecture Notes in Computer Science 4915, 169-184 (2008).
10
Towards a type discipline for answer set programming (English)
TYPES, 117-135 (2008).
11
Snapshot generation in a constructive object-oriented modeling language (English)
LOPSTR, 169-184 (2007).
12
A constructive object oriented modeling language for information systems. (English)
Electron. Notes Theor. Comput. Sci. 153, No. 1, 55-75 (2006).
13
A software component model and its preliminary formalisation. (English)
de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1‒4, 2005. Revised lectures. Berlin: Springer (ISBN 3-540-36749-7/pbk). Lecture Notes in Computer Science 4111, 1-21 (2006).
14
Constructive specifications for compositional units. (English)
Etalle, Sandro (ed.), Logic based program synthesis and transformation. 14th international symposium, LOPSTR 2004, Verona, Italy, August 26‒28, 2004. Revised selected papers. Berlin: Springer (ISBN 978-3-540-26655-6/pbk). Lecture Notes in Computer Science 3573, 198-214 (2005).
15
A software component model and its preliminary formalisation (English)
FMCO, 1-21 (2005).
16
Correct OO systems in computational logic. (English)
Bruynooghe, Maurice (ed.), Logic based program synthesis and transformation. 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25‒27, 2003. Revised selected papers. Berlin: Springer (ISBN 3-540-22174-3/pbk). Lecture Notes in Computer Science 3018, 34-53 (2004).
17
Specifying compositional units for correct program development in computational logic. (English)
Bruynooghe, Maurice (ed.) et al., Program development in computational logic. A decade of research advances in logic-based program development. Berlin: Springer (ISBN 3-540-22152-2/pbk). Lecture Notes in Computer Science 3049, 1-29 (2004).
18
Constructive specifications for compositional units (English)
LOPSTR, 198-214 (2004).
19
Specifying compositional units for correct program development in computational logic (English)
Program Development in Computational Logic, 1-29 (2004).
20
Result 1 to 20 of 99 total
Start
Contact
Print
General Help
