|
СТ |
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens |
2003 |
Hoffmann K., Mossakowski T. |
|
|
|
Lecture Notes in Computer Science |
14.01.2004 |
|
СТ |
Foundations of Heterogeneous Specification |
2003 |
Mossakowski T. |
|
|
|
Lecture Notes in Computer Science |
14.01.2004 |
|
СТ |
Algebraic-Coalgebraic Specification in CoCASL |
2003 |
Mossakowski T., Reichel H., Roggenbach M., Schroder L. |
|
|
|
Lecture Notes in Computer Science |
14.01.2004 |
|
СТ |
Monad-Independent Dynamic Logic in HasCASL |
2003 |
Schroder L., Mossakowski T. |
|
|
|
Lecture Notes in Computer Science |
14.01.2004 |
|
СТ |
Monad-Independent Hoare Logic in HasCasl |
2003 |
Schroder L., Mossakowski T. |
|
|
|
Lecture Notes in Computer Science |
17.04.2003 |
|
СТ |
HASCASL: Towards Integrated Specification and Development of Functional Programs |
2002 |
Schroder L., Mossakowski T. |
|
|
|
Lecture Notes in Computer Science |
10.10.2002 |
|
СТ |
Heterogeneous Development Graphs and Heterogeneous Borrowing |
2002 |
Mossakowski T. |
|
|
|
Lecture Notes in Computer Science |
09.05.2002 |
|
СТ |
Institution Independent Static Analysis for CASL |
2001 |
Mossakowski T., Klin B. |
|
|
|
Lecture Notes in Computer Science |
03.03.2002 |
|
СТ |
Semantics of Architectural Specifications in CASL |
2001 |
Schroder L., Mossakowski T., Tarlecki A., Klin B., Hoffman P. |
|
|
|
Lecture Notes in Computer Science |
05.05.2001 |
|
СТ |
Extending Development Graphs with Hiding |
2001 |
Mossakowski T., Autexier S., Hutter D. |
|
|
|
Lecture Notes in Computer Science |
05.05.2001 |
|
СТ |
Subsorted Partial Higher-Order Logic as an Extension of CASL |
2000 |
Mossakowski T., Haxthausen A., Krieg-Bruckner B. |
|
|
|
Lecture Notes in Computer Science |
13.10.2000 |
|
СТ |
Specifying Real Numbers in CASL |
2000 |
Roggenbach M., Schroder L., Mossakowski T. |
|
|
|
Lecture Notes in Computer Science |
13.10.2000 |
|
СТ |
Specifications in an Arbitrary Institution with Symbols |
2000 |
Mossakowski T. |
|
|
|
Lecture Notes in Computer Science |
13.10.2000 |
|
СТ |
CASL: From Semantics to Tools |
2000 |
Mossakowski T. |
|
|
|
Lecture Notes in Computer Science |
26.04.2000 |
|
СТ |
Permissive Subsorted Partial Logic in CASL |
1997 |
Cerioli M., Haxthausen A., Krieg-Bruckner B., Mossakowski T. |
|
|
|
Lecture Notes in Computer Science |
30.12.1997 |
|
СТ |
A Hierarchy of Institutions Separated by Properties of Parameterized Abstract Data Types |
1995 |
Mossakowski T. |
|
|
|
Lecture Notes in Computer Science |
24.05.1995 |
