Interactive Systems. Design, Specification, and Verification
Subtitle: 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers (Lecture Notes in Computer Science)
Contributors: Philippe Palanque (Editor); Fabio Paterno (Editor)
Edition: 1 edition
Publisher: Springer
Published: February 23, 2001
Language: eng
Format: Paperback
Number of pages: 251
ISBN-13: 9783540416630
Subjects: Computer Communications & Networking; General Theory of Computing; Image processing: graphics (static images); User Interface; Computers; Computer Graphics; Computers - General Information; Interactive computer systems; Computer Books: General; General; Computer Graphics - General; Computer Science; Computers / Computer Science; Formal Methods; Human-Computer Interaction; Interactive Distributed Systems; Interactive Systems; System Design; System Specification; System Verification; User Interfaces; Congresses
First sentence: Software architectures traditionally decompose systems into components responsible for implementing part of the system, and connectors enabling communication between these components.