Algebraic specification techniques and tools for software development (Record no. 72416)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02014cam a2200373Ma 4500 |
| 001 - CONTROL NUMBER | |
| control field | 00001877 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 190720t20191993si a ob 001 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9789814440813 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9814440817 |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 005.1/2/01512 |
| 100 1# - AUTHOR NAME | |
| Author | Classen, Ingo. |
| 245 10 - TITLE STATEMENT | |
| Title | Algebraic specification techniques and tools for software development |
| Sub Title | the ACT approach / |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Singapore ; |
| -- | River Edge, N.J. : |
| Publisher | World Scientific, |
| Year of publication | [2019], c1993. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 1 online resource (xvi, 237 p.) : |
| 490 1# - SERIES STATEMENT | |
| Series statement | AMAST series in computing ; |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Remark 2 | Algebraic specification as formal method for software development -- Act one -- a language for parameterized specifications -- Algebraic specification of modular systems -- The act environment -- A formal notions of algebraic specifications -- User manuals for tool support. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies using algebraic specification languages and tools developed at TU Berlin. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| General subdivision | Development. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Ehrig, Hartmut. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Wolz, Dietmar. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://www.worldscientific.com/worldscibooks/10.1142/1877#t=toc |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer software |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Compilers (Computer programs) |
No items available.