|
СТ |
Extraction of Structured Programs from Specification Proofs |
2000 |
Grossley J. N., Poernomo I., Wirsing M. |
|
|
|
Lecture Notes in Computer Science |
13.10.2000 |
|
СТ |
Programs, Proofs and Parametrized Specifications |
2001 |
Poernomo I., Crossley J. N., Wirsing M. |
|
|
|
Lecture Notes in Computer Science |
03.03.2002 |
|
СТ |
Protocols between Programs and Proofs |
2001 |
Poernomo I., Crossley J. N. |
|
|
|
Lecture Notes in Computer Science |
23.06.2001 |
|
СТ |
Architecture of Enterprise Systems: Modeling Transactional Contexts |
2002 |
Poernomo I., Reussner R., Schmidt H. |
|
|
|
Lecture Notes in Computer Science |
26.07.2002 |
|
СТ |
Using the TrustME Tool Suite for Automatic Component Protocol Adaptation |
2002 |
Reussner R., Poernomo I., Schmidt H. W. |
|
|
|
Lecture Notes in Computer Science |
02.06.2002 |
|
СТ |
Proofs-as-Imperative-Programs: Application to Synthesis of Contracts |
2003 |
Poernomo I. |
|
|
|
Lecture Notes in Computer Science |
18.02.2004 |
|
СТ |
Predictable Component Architectures Using Dependent Finite State Machines |
2004 |
Schmidt H. W., Kramer B. J., Poernomo I., Reussner R. |
|
|
|
Lecture Notes in Computer Science |
28.04.2004 |
