|
СТ |
Correct Hardware Synthesis. An algebraic approach |
2011 |
Perna J., Woodcock J., Sampaio A., Iyoda J. |
|
|
|
Acta Informatica |
11.01.2012 |
|
СТ |
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions |
2005 |
Sherif A., Jifeng H., Cavalcanti A., Sampaio A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.04.2005 |
|
СТ |
Efficient CSPz Data Abstraction |
2004 |
Farias A., Mota A., Sampaio A. |
|
|
|
Lecture Notes in Computer Science |
21.05.2004 |
|
СТ |
A Strategy for Compiling Classes, Inheritance and Dynamic Binding |
2003 |
Duran A., Cavalcanti A., Sampaio A. |
|
|
|
Lecture Notes in Computer Science |
24.09.2003 |
|
СТ |
A Refinement Algebra for Object-Oriented Programming |
2003 |
Borba P., Sampaio A., Cornelio M. |
|
|
|
Lecture Notes in Computer Science |
23.09.2003 |
|
СТ |
Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets |
2003 |
Sherif A., Sampaio A., Cavalcante S. |
|
|
|
Lecture Notes in Computer Science |
23.07.2003 |
|
СТ |
An Integrated Approach to Specification and Validation of Real-Time Systems |
2001 |
Sherif A., Sampaio A., Cavalcante S. |
|
|
|
Lecture Notes in Computer Science |
06.04.2001 |
|
СТ |
Serialising Parallel Processes in a Hardware/Software Partitioning Context |
2001 |
Silva L., Sampaio A., Jones G. |
|
|
|
Lecture Notes in Computer Science |
06.04.2001 |
|
СТ |
Model-Checking CSP-Z |
1998 |
Mota A., Sampaio A. |
|
|
|
Lecture Notes in Computer Science |
18.04.1998 |
|
СТ |
From MooZ to Eiffel - A Rigorous Approach to System Development |
1994 |
Cordeiro V.A. O., Sampaio A., Meira S. L. |
|
|
|
Lecture Notes in Computer Science |
10.12.1994 |
|
СТ |
Normal Form Approach to Compiler Design |
1993 |
Hoare C.A. R., Jifeng H., Sampaio A. |
|
|
|
Acta Informatica |
08.02.1994 |
