Author: International Workshop on Software Specification and Design
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Proceedings of the ... International Workshop on Software Specification and Design
IWSSD-10 2000 : Tenth International Workshop on Software Specification and Design
Author:
Publisher: I E E E
ISBN: 9780769508849
Category : Computers
Languages : en
Pages : 220
Book Description
These conference proceedings cover such topics as: reactive and real-time systems; quantitative and non-functional qualities; (in)completeness, (in)consistency and (sufficient) correctness.
Publisher: I E E E
ISBN: 9780769508849
Category : Computers
Languages : en
Pages : 220
Book Description
These conference proceedings cover such topics as: reactive and real-time systems; quantitative and non-functional qualities; (in)completeness, (in)consistency and (sufficient) correctness.
Proceedings
Author: International Workshop on Software Specification and Design (5, 1989, Pittsburgh, Pa.)
Publisher:
ISBN: 9780818619427
Category :
Languages : en
Pages : 295
Book Description
Publisher:
ISBN: 9780818619427
Category :
Languages : en
Pages : 295
Book Description
International Workshop on Software Specification and Design [proceedings].
Proceedings
Author: International Workshop on Software Specification and Design (4, 1987, Monterey, Calif.)
Publisher:
ISBN: 9780818687693
Category :
Languages : en
Pages : 269
Book Description
Publisher:
ISBN: 9780818687693
Category :
Languages : en
Pages : 269
Book Description
... International Workshop on Software Specification and Design
Author: International Workshop on Software Specification and Design
Publisher:
ISBN: 9780818646386
Category :
Languages : en
Pages : 259
Book Description
Publisher:
ISBN: 9780818646386
Category :
Languages : en
Pages : 259
Book Description
Proceedings of the Seventh International Workshop on Software Specification and Design
Author:
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 244
Book Description
Proceedings of the 7th International Workshop on Software Specification and Design held in Redondo Beach, California, in December 1993. Among the topics discussed: real-time systems, concurrency and distribution, formal reasoning, and design methods and software architecture. No index. Annotation co
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 244
Book Description
Proceedings of the 7th International Workshop on Software Specification and Design held in Redondo Beach, California, in December 1993. Among the topics discussed: real-time systems, concurrency and distribution, formal reasoning, and design methods and software architecture. No index. Annotation co
Fourth International Workshop on Software Specification and Design
Author: IEEE Computer Society
Publisher:
ISBN: 9780818687693
Category :
Languages : en
Pages : 269
Book Description
Publisher:
ISBN: 9780818687693
Category :
Languages : en
Pages : 269
Book Description
Proceedings of the Sixth International Workshop on Software Specification and Design, October 25-26, 1991, Como, Italy
Software Specification and Design
Author: Sol J. Greenspan
Publisher:
ISBN: 9780897913058
Category : Computer science
Languages : en
Pages : 295
Book Description
Proceedings of a workshop held in Pittsburgh, Pa. May, 1989. Papers cover: concurrency, coordination, and distribution; real-time, embedded and reactive systems; abstraction and structure; requirements elicitation, analysis and formalization; and formal techniques and operational specification. No subject index. Acidic paper. Annotation copyrighted by Book News, Inc., Portland, OR.
Publisher:
ISBN: 9780897913058
Category : Computer science
Languages : en
Pages : 295
Book Description
Proceedings of a workshop held in Pittsburgh, Pa. May, 1989. Papers cover: concurrency, coordination, and distribution; real-time, embedded and reactive systems; abstraction and structure; requirements elicitation, analysis and formalization; and formal techniques and operational specification. No subject index. Acidic paper. Annotation copyrighted by Book News, Inc., Portland, OR.