|
СТ |
Horizontal Composability Revisited |
2006 |
Sannella D., Tarlecki A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
28.09.2006 |
|
СТ |
Toward Component-Oriented Formal Software Development: An Algebraic Approach |
2004 |
Bidoit M., Sannella D., Tarlecki A. |
|
|
|
Lecture Notes in Computer Science |
27.04.2004 |
|
СТ |
From Specifications to Code in CASL |
2002 |
Aspinall D., Sannella D. |
|
|
|
Lecture Notes in Computer Science |
10.10.2002 |
|
СТ |
The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress |
2001 |
Sannella D. |
|
|
|
Lecture Notes in Computer Science |
03.03.2002 |
|
СТ |
Algebraic Specification and Program Development by Stepwise Refinement. Extended Abstract |
2000 |
Sannella D. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.08.2000 |
|
СТ |
Constructive Data Refinement in Typed Lambda Calculus |
2000 |
Honsell F., Longley J., Sannella D., Tarlecki A. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
|
СТ |
The Common Framework Initiative for Algebraic Specification and Development of Software |
2000 |
Sannella D. |
|
|
|
Lecture Notes in Computer Science |
18.02.2000 |
|
СТ |
Architectural Specifications in CASL |
1999 |
Bidoit M., Sannella D., Tarlecki A. |
|
|
|
Lecture Notes in Computer Science |
05.02.1999 |
|
СТ |
Reflections on the Design of a Specification Language |
1998 |
Kahrs S., Sannella D. |
|
|
|
Lecture Notes in Computer Science |
18.04.1998 |
|
СТ |
What Does the Future Hold for Theoretical Computer Science? |
1997 |
Sannella D. |
|
|
|
Lecture Notes in Computer Science |
16.05.1997 |
|
СТ |
Mind the Gap! Abstract Versus Concrete Models of Specifications |
1996 |
Sannella D., Tarlecki A. |
Lecture Notes in Computer Science |
|
|
Mathematical Foundations of Computer Science 1996 |
11.10.1996 |
|
СТ |
On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic |
1995 |
Hofmann M., Sannella D. |
|
|
|
Lecture Notes in Computer Science |
16.06.1995 |
|
СТ |
Interfaces and Extended ML |
1994 |
Kahrs S., Sannella D., Tarlecki A. |
|
|
|
SIGPLAN Notices |
30.08.1994 |
|
СТ |
Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited |
1992 |
Sannella D., Sokolowski S., Tarlecki A. |
|
|
|
Acta Informatica |
04.02.1993 |
|
М |
Algebraic System Specification and Development |
1991 |
Bidoit M., Kreowski H. -J., Lescanne P., Orejas F., Sannella D. |
Lecture Notes in Computer Science |
|
|
A Syrvey and Annotated Bibliography |
13.08.1991 |
|
СТ |
Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL |
1991 |
Krieg-Bruckner B., Sannella D. |
|
|
|
Lecture Notes in Computer Science |
21.05.1991 |
|
П |
A Survey of Formal Software Development Methods |
1988 |
Sannella D. |
|
|
Univ.Edinburgh |
|
13.02.1991 |
