|
|
|
|
| LEADER |
01843nam a22002417a 4500 |
| 001 |
263496 |
| 008 |
090401s2009 xx|||||| |||| 00| 0 eng d |
| 020 |
|
|
|a 9780521879033 (rel.)
|
| 041 |
0 |
|
|a eng
|
| 082 |
|
|
|a 005.1
|
| 084 |
|
|
|a D.2
|
| 100 |
1 |
|
|a Mills, Bruce,
|d 1962-
|
| 245 |
1 |
0 |
|a Practical formal software engineering :
|b wanting the software you get
|c Bruce Mills.
|
| 260 |
|
|
|a New York :
|b Cambridge University Press,
|c 2009.
|
| 300 |
|
|
|a 1 vol. (XXXIII-339 p.) :
|b ill. ;
|c 26 cm.
|
| 504 |
|
|
|a Notes bibliographiques en fin de chapitre. Index
|
| 505 |
1 |
|
|a PART 1: Fundamentals. Arithmetic Logic Algebra Diagrams PART 2: Language. UML OCL Z Logic Java Game exercises PART 3: Practice. Implementation State transformation Plain text Natural language Digital geometry Building dungeons Multiple threads Security
|
| 520 |
|
|
|a Based around a theme of the construction of a game engine, this textbook is for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. This book takes an unusual, engineering-inspired approach to illuminate the creation and verification of large software systems . Where other textbooks discuss business practices through generic project management techniques or detailed rigid logic systems, this book examines the interaction between code in a physical machine and the logic applied in creating the software. These elements create an informal and rigorous study of logic, algebra, and geometry through software. Assuming prior experience with C, C++, or Java programming languages, chapters introduce UML, OCL, and Z from scratch. Extensive worked examples motivate readers to learn the languages through the technical side of software science.
|
| 650 |
|
|
|a Génie logiciel
|
| 993 |
|
|
|a Livre
|
| 994 |
|
|
|a PS
|
| 995 |
|
|
|a 132424770
|
| 997 |
|
|
|0 263496
|