Вы здесь

Jackson D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ An Intermediate Design Language and Its Analysis 1998 Jackson D. Software Engineering Notes 26.03.1999
СТ 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
СТ Finding Bugs with a Constraint Solver 2000 Jackson D., Vaziri M. Software Engineering Notes 14.12.2000
СТ Redesigning Air Traffic Control: An Exercise in Software Design 2000 Jackson D., Chapin J. IEEE Software 26.07.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