|
СТ |
Towards Monitored Data Consistency and Business Processing Based on Declarative Software Agents |
2003 |
Alencar P.S. C., Cowan D. D., Mulholland D., Oliveira T. |
|
|
|
Lecture Notes in Computer Science |
16.05.2003 |
|
СТ |
Formalizing the Specification of Web Applications |
1999 |
German D. M., Cowan D. D. |
|
|
|
Lecture Notes in Computer Science |
30.11.1999 |
|
СТ |
New Role for Community Networks |
1998 |
Cowan D. D., Mayfield C. I., Tompa F. W., Gasparini W. |
|
|
|
Communications of the ACM |
30.05.1998 |
|
П |
Integrating Design Patterns and Subject-Oriented Programming within the ADV Framework |
1995 |
Alencar P.S. C., Cowan D. D., Lucena C.J. P. |
|
|
|
|
03.11.1995 |
|
СТ |
Experiments with the Z Interchange Format and SGML |
1995 |
German D. M., Cowan D. D. |
Lecture Notes in Computer Science |
|
|
ZUM 95: The Z Formal Specification Notation |
06.10.1995 |
|
СТ |
A Framework for Machine-Assisted User Interface Verification |
1995 |
Bumbulis P., Alencar P.S. C., Cowan D. D., Lucena C.J. P. |
Lecture Notes in Computer Science |
|
|
Algebraic Methodology and Software Technology |
13.09.1995 |
|
СТ |
An Experience Using JASMINUM - Formalization Assisting with the Design of User Interfaces |
1995 |
Carneiro-Coffin L.M. F., Cowan D. D., Lucena C. J., Smith D. |
|
|
|
Lecture Notes in Computer Science |
15.04.1995 |
|
СТ |
ADVcharts: A Visual Formalism for Interactive Systems |
1994 |
Carneiro L.M. F., Cowan D. D., Lucena C.J. P. |
|
|
|
SIGCHI Bull. |
20.06.1994 |
