|
СТ |
Abstract Analysis with Aspect |
1993 |
Jackson D. |
|
|
|
Software Engineering Notes |
29.09.1993 |
|
СТ |
Abstract Model Checking of Infinite Specifications |
1994 |
Jackson D. |
|
|
|
Lecture Notes in Computer Science |
14.12.1994 |
|
СТ |
The CMU Master of Software Engineering Core Curriculum |
1995 |
Garlan D., Brown A., Jackson D., Tomayko J., Wing J. |
|
|
|
Lecture Notes in Computer Science |
29.03.1995 |
|
СТ |
Efficient Search as a Means of Executing Specifications |
1996 |
Damon C. A., Jackson D. |
|
|
|
Lecture Notes in Computer Science |
24.04.1996 |
|
СТ |
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector |
1996 |
Jackson D., Damon C. A. |
|
|
|
IEEE Trans. on Software Engineering |
14.11.1996 |
|
СТ |
Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications |
1998 |
Jackson D., Jha S., Damon C. A. |
|
|
|
ACM Trans. on Programming Languages and Systems |
27.11.1998 |
|
СТ |
An Intermediate Design Language and Its Analysis |
1998 |
Jackson D. |
|
|
|
Software Engineering Notes |
26.03.1999 |
|
СТ |
Redesigning Air Traffic Control: An Exercise in Software Design |
2000 |
Jackson D., Chapin J. |
|
|
|
IEEE Software |
26.07.2000 |
|
СТ |
Finding Bugs with a Constraint Solver |
2000 |
Jackson D., Vaziri M. |
|
|
|
Software Engineering Notes |
14.12.2000 |
|
СТ |
Core Algorithms of the Maui Scheduler |
2001 |
Jackson D., Snell Q., Clement M. |
|
|
|
Lecture Notes in Computer Science |
06.11.2001 |
|
П |
Micromodels of Software |
2002 |
Jackson D. |
|
|
Techn.Univ.Munchen |
|
24.08.2002 |
|
СТ |
Module Dependences in Software Design |
2004 |
Jackson D. |
|
|
|
Lecture Notes in Computer Science |
28.04.2004 |
