Systems analysis & design
Results 321 - 340 of 581
Systems analysis & design
Hardback. Presents a "practical theory" of reactive systems, with formal foundations in Temporal Logic of Actions. This book emphasises theoretical understanding of reactive behaviors and using "horizontal" modularity to manage their complexity. It illustrates the incremental specification by a number of examples of varying size and complexity. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 440 pages, 112 black & white illustrations. BIC Classification: UYD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 31. Weight in Grams: 754.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783540233428
- ISBN
- 9783540233428
Hardback
Condition: New
€ 66.28
€ 66.28
Abstract State Machines 2004. Advances in Theory and Practice
. Ed(S): Zimmermann, Wolf; Thalheim, B.
Paperback. Editor(s): Zimmermann, Wolf; Thalheim, B. Series: Lecture Notes in Computer Science. Num Pages: 252 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 790.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 252
- Condition
- New
- SKU
- V9783540220947
- ISBN
- 9783540220947
Paperback
Condition: New
€ 66.41
€ 66.41
Hardback. Covers the process from the development of domain descriptions, through the derivation of requirements prescriptions from domain models, to the refinement of requirements into software architectures and component design. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 768 pages, biography. BIC Classification: UMX; UMZ; UYD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 34. Weight in Grams: 1358.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2006
- Number of pages
- 768
- Condition
- New
- SKU
- V9783540211518
- ISBN
- 9783540211518
Hardback
Condition: New
€ 128.04
€ 128.04
Hardback. Covers the basic principles and techniques of specifying systems and languages. This work deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity, Petri nets, live sequence charts, statecharts, and temporal logics. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 780 pages, 151 black & white illustrations, 27 black & white tables, biography. BIC Classification: UMX; UMZ; UYD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 42. Weight in Grams: 1298.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 780
- Condition
- New
- SKU
- V9783540211501
- ISBN
- 9783540211501
Hardback
Condition: New
€ 70.10
€ 70.10
Book. Num Pages: Etwa 450 S. 70 Abb. BIC Classification: UB; UL; UM; UYD; UYM. Category: (G) General (US: Trade). Dimension: 234 x 156 x 14. Weight in Grams: 490.
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540209409
- ISBN
- 9783540209409
Hardback
Condition: New
€ 69.75
€ 69.75
Paperback. Num Pages: 572 pages, 1. BIC Classification: THR; UT; UYD. Category: (G) General (US: Trade). Dimension: 234 x 156 x 29. Weight in Grams: 793.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 572
- Condition
- New
- SKU
- V9783540205883
- ISBN
- 9783540205883
Paperback
Condition: New
€ 66.81
€ 66.81
Paperback. These conference proceedings cover topics such as: the impact of active databases on commercial practice; the optimization of active database transactions; the need for better language, compiler and tool support for real-time databases; and more. Editor(s): Berndtsson, Mikael; Hansson, Jorgen. Series: Workshops in Computing. Num Pages: 266 pages, 1 black & white illustrations, biography. BIC Classification: UNS; UYD. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 266
- Condition
- New
- SKU
- V9783540199830
- ISBN
- 9783540199830
Paperback
Condition: New
€ 121.71
€ 121.71
Paperback. This work aims to provide the foundations for the second order treatment of system models and an effective framework for applying basic concepts in systems theory to the design of information systems. It includes discussion of issues such as hierarchy and system properties. Series: Lecture Notes in Control and Information Sciences. Num Pages: 187 pages, 2 black & white illustrations, biography. BIC Classification: GPFC; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 10. Weight in Grams: 310.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 187
- Condition
- New
- SKU
- V9783540199564
- ISBN
- 9783540199564
Paperback
Condition: New
€ 120.88
€ 120.88
Paperback. This volume contains essays by researchers working on object technology and its application to information systems design and development. It discusses modelling, software, interface design, knowledge bases, object databases, distributed databases and emerging object technologies. Editor(s): Patel, Dilip; Sun, Yuan; Patel, Shushma. Num Pages: 506 pages, 22 black & white illustrations. BIC Classification: UMN; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 27. Weight in Grams: 795.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 506
- Condition
- New
- SKU
- V9783540199274
- ISBN
- 9783540199274
Paperback
Condition: New
€ 66.05
€ 66.05
Hardback. Focuses on the design and analysis of nonlinear control systems. This book covers such topics as: local and global decompositions of control systems; input-output maps and realization theory; nonlinear feedback for single-input/single-output systems and multi-input/multi-output systems; applications of state feedback; and, output regulation. Series: Communications and Control Engineering. Num Pages: 564 pages, biography. BIC Classification: PBWS; TBJ; TJFM; UYAM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 158 x 37. Weight in Grams: 944.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 3rd ed. 1995
- Number of pages
- 564
- Condition
- New
- SKU
- V9783540199168
- ISBN
- 9783540199168
Hardback
Condition: New
€ 272.54
€ 272.54
Paperback. This monograph is concerned with the application of concepts and techniques from the field of artificial intelligence to the design and implementation of computing systems in which the principle of co-operation is of central importance. Editor(s): Connolly, John H.; Edmonds, Ernest A. Series: Computer Supported Cooperative Work. Num Pages: 212 pages, 17 black & white illustrations. BIC Classification: UYD; UYQ; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 212
- Condition
- New
- SKU
- V9783540198161
- ISBN
- 9783540198161
Paperback
Condition: New
€ 63.19
€ 63.19
paperback. Systematically examines the implications of focusing computer system design on the needs of the user. This study explores which design perspectives are most suitable, and why design in the context of computer supported co-operative work (CSCW) is different from established practices. Editor(s): Rosenberg, Duska; Hutchison, Christopher. Series: Computer Supported Cooperative Work. Num Pages: 338 pages, 17 black & white illustrations, biography. BIC Classification: UYD; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- First Edition
- Number of pages
- 338
- Condition
- New
- SKU
- V9783540198109
- ISBN
- 9783540198109
Paperback
Condition: New
€ 64.33
€ 64.33
Paperback. This volume contains the papers presented at a conference on computer refinement, which is the term used to describe systematic and formal methods of specifying hardware and software. These specifications are then transformed into designs and implementations. Editor(s): Jones, Cliff B.; Shaw, Roger C.; Denvir, Tim. Series: Workshops in Computing. Num Pages: 381 pages, 3 black & white illustrations, biography. BIC Classification: UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 381
- Condition
- New
- SKU
- V9783540197522
- ISBN
- 9783540197522
Paperback
Condition: New
€ 64.85
€ 64.85
Paperback. This is a collection of 16 papers presented at a workshop whose purpose was to bring together the work of database researchers and those working on formal specification techniques, to examine the role that formal specification can play in developing database systems. Editor(s): Harper, David J.; Norrie, Moira C. Series: Workshops in Computing. Num Pages: 323 pages, 6 black & white illustrations, biography. BIC Classification: UN; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 18. Weight in Grams: 610.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 323
- Condition
- New
- SKU
- V9783540197324
- ISBN
- 9783540197324
Paperback
Condition: New
€ 64.87
€ 64.87
Paperback. This volume contains the papers presented at a workshop held at Banff, Canada, 10-14 September 1990, which gathered together researchers interested in the application of higher order techniques. Series: Workshops in Computing. Num Pages: 285 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 16. Weight in Grams: 555.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 285
- Condition
- New
- SKU
- V9783540196600
- ISBN
- 9783540196600
Paperback
Condition: New
€ 64.91
€ 64.91
Paperback. Contains the papers from a Refinement Workshop, organized by the British Computer Society in Cambridge, 1991. "Refinement" describes the systematic and formal methodology of specifying hardware and software and transforming the specifications into designs and implementations. Editor(s): Shaw, Roger C.; Morris, J.M. Series: Workshops in Computing. Num Pages: 480 pages, 2 black & white illustrations, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 216 x 138 x 25. Weight in Grams: 840.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 480
- Condition
- New
- SKU
- V9783540196570
- ISBN
- 9783540196570
Paperback
Condition: New
€ 66.33
€ 66.33
perfect. This is an introduction to MURAL, a software-support system that aims to create a user-friendly software environment which makes the best use of human talents to produce well-designed computer systems. The text describes the requirements, concepts and realization of the MURAL system. Num Pages: 421 pages, 8 black & white illustrations. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 23. Weight in Grams: 753.
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 421
- Condition
- New
- SKU
- V9783540196518
- ISBN
- 9783540196518
Paperback
Condition: New
€ 65.78
€ 65.78
Paperback. The proceedings of a workshop which assessed the role of formal methods in the development and fielding of trustworthy critical systems. The aim of the workshop was to assess problems retarding the development of critical systems and to identify how to improve formal research methods. Editor(s): Craigen, Dan; Summerskill, Karen. Series: Workshops in Computing. Num Pages: 248 pages, 1 black & white illustrations, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 14. Weight in Grams: 514.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540196358
- ISBN
- 9783540196358
Paperback
Condition: New
€ 64.27
€ 64.27
Paperback. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 239 pages, 4 black & white illustrations. BIC Classification: UGK; UN; UYD. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 13. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 239
- Condition
- New
- SKU
- V9783540187523
- ISBN
- 9783540187523
Paperback
Condition: New
€ 79.46
€ 79.46
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 134 pages, biography. BIC Classification: TJF; UYD; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 7. Weight in Grams: 460.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 134
- Condition
- New
- SKU
- V9783540185406
- ISBN
- 9783540185406
Paperback
Condition: New
€ 48.13
€ 48.13