Вы здесь

Choppy C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Improvimg Use Case Based Requirements Using Formally Grounded Specifications 2004 Choppy C., Reggio G. Lecture Notes in Computer Science 16.04.2004
СТ Use of Patterns in Formal Development: Systematic Transition from Problems in Architectural Designs 2003 Choppy C., Heisel M. Lecture Notes in Computer Science 14.01.2004
СТ Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation 2001 Choppy C., Poizat P., Royer J. -C. Lecture Notes in Computer Science 05.05.2001
СТ Using CASL to Specify the Requirements and the Design: A Problen Specific Approach 2000 Choppy C., Reggio G. Lecture Notes in Computer Science 13.10.2000
СТ A Global Semantics for Views 2000 Choppy C., Poizat P., Royer J. -C. Lecture Notes in Computer Science 17.06.2000
СТ From Informal Requirements to COOP: A Concurrent Automata Approach 1999 Poizat P., Choppy C., Royer J. -C. Lecture Notes in Computer Science 26.10.1999
СТ Concurrency and Data Types: A Specification Method. An Example with LOTOS 1999 Poizat P., Choppy C., Royer J. -C. Lecture Notes in Computer Science Lecture Notes in Computer Science 27.08.1999
СТ A Method for Fortran Programs Reverse Engineering Using Algebraic Specifications 1998 Cherki S., Choppy C. Lecture Notes in Computer Science 07.05.1998
СТ About the "Correctness" and "Adequacy" of PLUSS Specifications 1994 Choppy C. Lecture Notes in Computer Science 04.06.1994

Редактор: