|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000045254 |
| 005 |
20090303093000.0 |
| 008 |
090224s2004 gw eng |
| 020 |
|
|
|a 3540206027 (hbk.)
|
| 020 |
|
|
|a 9781841695884 (hbk.)
|
| 090 |
0 |
0 |
|a QA76.76.D47
|b L58 2004
|
| 100 |
1 |
|
|a Liu, Shaoying ,
|d 1960- ,
|e author
|
| 245 |
1 |
0 |
|a Formal engineering for industrial software development :
|b using the SOFL method
|c Shaoying Liu
|
| 260 |
|
|
|a New York :
|b Springer ,
|c c2004
|
| 300 |
|
|
|a xxii, 408 p. :
|b ill. ;
|c 25 cm.
|
| 504 |
|
|
|a Includes bibliographical references (p 383-389) and index
|
| 505 |
0 |
|
|a 1. Introduction -- 2. Propositional logic -- 3. Predicate logic -- 4. The module -- 5. Hierarchical CDFDs and modules -- 6. Explicit specifications -- 7. basic data types -- 8. The set types -- 9. The sequence and string types -- 10. The composite and product types -- 11. The maps types -- 12. The union types -- 13. Classes -- 14. The software development process -- 15. approaches to constructing specifications -- 16. A case study-modeling an ATM -- 17. Rigorous review -- 18. Specification testing -- 19. Transformation from designs to programs --20. Intelligent software engineering environment
|
| 650 |
|
0 |
|a Computer software
|x Development
|
| 650 |
|
0 |
|a Formal methods (Computer science)
|
| 650 |
|
0 |
|a Object-oriented programming (Computer science)
|
| 856 |
4 |
1 |
|3 Table of contents only
|u http://www.loc.gov/catdir/enhancements/fy0818/2004102480-t.html
|
| 999 |
|
|
|a 1000120312
|b Book
|c OPEN SHELF (30 DAYS)
|e Tembila Campus
|