IWSSD-10 2000 : Tenth International Workshop on Software Specification and Design

IWSSD-10 2000 : Tenth International Workshop on Software Specification and Design
Author :
Publisher : I E E E
Total Pages : 220
Release :
ISBN-10 : 0769508847
ISBN-13 : 9780769508849
Rating : 4/5 (47 Downloads)

Book Synopsis IWSSD-10 2000 : Tenth International Workshop on Software Specification and Design by :

Download or read book IWSSD-10 2000 : Tenth International Workshop on Software Specification and Design written by and published by I E E E. This book was released on 2000 with total page 220 pages. Available in PDF, EPUB and Kindle. Book excerpt: These conference proceedings cover such topics as: reactive and real-time systems; quantitative and non-functional qualities; (in)completeness, (in)consistency and (sufficient) correctness.


IWSSD-10 2000 : Tenth International Workshop on Software Specification and Design Related Books

IWSSD-10 2000 : Tenth International Workshop on Software Specification and Design
Language: en
Pages: 220
Authors:
Categories: Computers
Type: BOOK - Published: 2000 - Publisher: I E E E

DOWNLOAD EBOOK

These conference proceedings cover such topics as: reactive and real-time systems; quantitative and non-functional qualities; (in)completeness, (in)consistency
Intelligent Systems and Applications
Language: en
Pages: 897
Authors: Kohei Arai
Categories: Technology & Engineering
Type: BOOK - Published: 2021-08-03 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book presents Proceedings of the 2021 Intelligent Systems Conference which is a remarkable collection of chapters covering a wider range of topics in areas
Model-Driven Software Development: Integrating Quality Assurance
Language: en
Pages: 526
Authors: Rech, J”rg
Categories: Computers
Type: BOOK - Published: 2008-08-31 - Publisher: IGI Global

DOWNLOAD EBOOK

Covers important concepts, issues, trends, methodologies, and technologies in quality assurance for model-driven software development.
Agent-Oriented Software Engineering II
Language: en
Pages: 328
Authors: Michael J. Wooldridge
Categories: Computers
Type: BOOK - Published: 2003-08-06 - Publisher: Springer

DOWNLOAD EBOOK

Since the 1980s, software agents and multi-agent systems have grown into what is now one of the most active areas of research and development activity in comput
Component-Based Software Quality
Language: en
Pages: 414
Authors: Alejandra Cechich
Categories: Business & Economics
Type: BOOK - Published: 2003-11-06 - Publisher: Springer

DOWNLOAD EBOOK

Component-based software development, CBSD, is no longer just one more new paradigm in software engineering, but is effectively used in development and practice