Вы здесь

Parnas D. L.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Requirements-based Monitors for Real-Time Systems 2000 Peters D. K., Parnas D. L. Software Engineering Notes 14.12.2000
СТ Software Engineering Programs Are Not Computer Science Programs 1999 Parnas D. L. IEEE Software 25.01.2000
СТ Successful Software Engineering Research 1998 Parnas D. L. Software Engineering Notes 04.11.1998
СТ Using Test Oracles Generated from Program Documentation 1998 Peters D. K., Parnas D. L. IEEE Trans. on Software Engineering 09.10.1998
СТ Software Engineering: An Uncommunicated Marriage 1997 Parnas D. L., Eng P. Lecture Notes in Computer Science 03.10.1997
СТ Teaching Programming as Engineering 1995 Parnas D. L. Lecture Notes in Computer Science ZUM 95: The Z Formal Specification Notation 06.10.1995
СТ Language-free mathematical methods for software design. Extended abstract 1995 Parnas D. L. Lecture Notes in Computer Science ZUM 95: The Z Formal Specification Notation 29.09.1995
СТ Some Theorems We Should Prove 1994 Parnas D. L. Lecture Notes in Computer Science 18.06.1994
СТ A Formal Approach to Computer Systems Requirements Documentation 1993 Engel M., Kubica M., Madey J., Parnas D. L., Ravn A. P., Van Schouwen A. J. Lecture Notes in Computer Science 09.12.1993
СТ On Satisfying Timing Constraints in Hard-Real-Time Systemes 1991 Xu J., Parnas D. L. Software Engineering Notes 03.04.1992