Result 1 to 20 of 31 total
A two-level calculus for composing hybrid QVT transformations (English)
CLEI Electron. J. 13, No. 1 (2010).
1
A two-level calculus for composing hybrid QVT transformations (English)
SCCC, 105-114 (2009).
2
Reasoning about static and dynamic properties in alloy: A purely relational approach. (English)
ACM Trans. Softw. Eng. Methodol. 14, No. 4, 478-526 (2005).
3
A framework for execution of secure mobile code based on static analysis (English)
SCCC, 59-66 (2004).
4
Problems, languages and algorithms. With the collaboration of Guillermo Martínez. (Problemas, lenguajes y algoritmos. Con la colaboración de Guillermo Martínez.) 2nd ed. (Spanish)
Coleção CLE 37. Campinas: Universidade Estadual de Campinas, Centro de Lógica, pistemologia e História de Ciência. 279~p. (2003).
5
Taking {\it alloy} to the movies (English)
FME, 678-697 (2003).
6
Interpretability of first-order dynamic logic in a relational calculus. (English)
de Swart, Harrie C. M. (ed.), Relational methods in computer science. 6th international conference, RelMiCS 2001 and 1st workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2561, 66-80 (2002).
7
Reasoning about the correctness of software development process (English)
ICSE, 708 (2002).
8
A calculus for program construction based on fork algebras, design strategies and generic algorithms. (English)
Orłowska, Ewa (ed.) et al., Relational methods for computer science applications. Heidelberg: Physica-Verlag (ISBN 3-7908-1365-6). Stud. Fuzziness Soft Comput. 65, 37-58 (2001).
9
Interpretability of first-order dynamic logic in a relational calculus (English)
RelMiCS, 66-80 (2001).
10
Formal foundations of object-oriented modeling notations (English)
ICFEM, 101-110 (2000).
11
Dependency relations between models in the unified process (English)
IWSSD, 149-158 (2000).
12
How to say greedy in fork algebras (English)
RelMiCS, 75-84 (2000).
13
A logic for real-time systems specification, its algebraic semantics, and equational calculus. (English)
Haeberer, Armando Martín (ed.), Algebraic methodology and software technology. 7th international conference, AMAST ’98, Amazonia, Brazil, January 4‒8, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1548, 91-105 (1999).
14
io-port 70888578 Weber, Herbert;
Klar, Marcus;
Mann, Stefan;
Kutsche, Ralf-Detlef;
Jähnichen, Stefan;
Büssow, Robert;
Ehrig, Hartmut;
Geisler, Robert;
Baum, Gabriel;
Pons, Claudia;
Felder, Miguel;
Waldoke, Sergio
Integrating object-oriented modelling techniques with formal specification techniques (English)
German-Argentinian Workshop on Information Technology, 23-30 (1999).
15
Simulation of behaviour and object substitutability. (English)
Kilov, Haim (ed.) et al., ECOOP ’98. 2nd ECOOP workshop on precise behavioral semantics (with an emphasis on o-o business specifications). Held in conjunction with ECOOP ’98, 12th European conference on object-oriented programming, Brussels, Belgium, July 24, 1998. München: TUM, Technische Univ. München, Institut für Informatik, TUM, Inst. Inf. 9813, 168-176 (1998).
16
Integrating object-oriented model with object-oriented metamodel into a single formalism. (English)
Kilov, Haim (ed.) et al., ECOOP ’98. 2nd ECOOP workshop on precise behavioral semantics (with an emphasis on o-o business specifications). Held in conjunction with ECOOP ’98, 12th European conference on object-oriented programming, Brussels, Belgium, July 24, 1998. München: TUM, Technische Univ. München, Institut für Informatik, TUM, Inst. Inf. 9813, 155-167 (1998).
17
Fork algebraic datatypes. (English)
Log. J. IGPL 6, No.4, 531-543 (1998).
18
Representability and program construction within fork algebras. (English)
Log. J. IGPL 6, No.2, 227-257 (1998).
19
Purpose: between types and code (English)
ECOOP Workshops, 68-69 (1998).
20
Result 1 to 20 of 31 total
Start
Contact
Print
General Help
