|
СТ |
Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum |
2000 |
Wing J. M. |
|
|
|
Lecture Notes in Computer Science |
17.06.2000 |
|
СТ |
Specifications and Their Use in Defining Subtypes |
1995 |
Liskov B., Wing J. M. |
Lecture Notes in Computer Science |
|
|
ZUM 95: The Z Formal Specification Notation |
06.10.1995 |
|
СТ |
Teaching Mathematics to Software Engineers |
1995 |
Wing J. M. |
Lecture Notes in Computer Science |
|
|
Algebraic Methodology and Software Technology |
13.09.1995 |
|
СТ |
Verifying Atomic Data Types |
1989 |
Wing J. M. |
|
|
|
Intern. J. Parallel Programming |
27.05.1995 |
|
СТ |
Specifications as Search Keys for Software Libraries |
1991 |
Rollins E. J., Wing J. M. |
|
|
|
Logic Programming: Proc./Eighth Intern. Conf. |
19.09.1994 |
|
СТ |
Decomposing and Recomposing Transactional Concepts |
1994 |
Wing J. M. |
|
|
|
Lecture Notes in Computer Science |
19.07.1994 |
|
СТ |
Signature Matching: A Key to Reuse |
1993 |
Zaremski M. A., Wing J. M. |
|
|
|
Software Engineering Notes |
12.04.1994 |
|
СТ |
A New Definition of the Subtype Relation |
1993 |
Liskov B., Wing J. M. |
|
|
|
Lecture Notes in Computer Science |
15.09.1993 |
