Welcome
Copyright © SirsiDynix. All rights reserved.
branding logo
Center Of Excellence for Jordanian Public University Library System (COE-JOPULS)
user_choices_background_image
Welcome
login container bottom
Jordanian Union Catalogue
360 Search
Search Libraries Catalogue
Duplicate Items
Add to My List

Print
Sorts and Limits

Title: Formal engineering for industrial software development : using the SOFL method / Shaoying Liu.
Author: Liu, Shaoying, 1960-
General Notes: "with 90 figures and 30 tables", "with 90 figures and 30 tables"
Publisher: Springer,
Publication Place: Berlin ; New York :
ISBN: 3540206027 (hardback)
9783540206026 (hardback)
Subject: Computer software -- Development.
Object-oriented programming (Computer science)
Formal methods (Computer science)
Computer software -- Development.
Formal methods (Computer science)
Object-oriented programming (Computer science)
SOFL
Softwareentwicklung
Software para computadora -- Desarrollo.
Industria de software computacional.
SOFL (Lenguaje de programaciĆ¢on)
Contents: 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 map 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 -- A. Syntax of SOFL.
Physical Description: xxii, 408 p. : ill. ;
Location/SubLocation: HU /HU_MAIN
Electronic Location: http://catdir.loc.gov/catdir/enhancements/fy0818/2004102480-b.html
http://catdir.loc.gov/catdir/enhancements/fy0818/2004102480-d.html
http://catdir.loc.gov/catdir/enhancements/fy0818/2004102480-t.html
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=012888291&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Publication Date: 2004.

Results 1 - 1 of 1
  Agency: Collection: Call No.: Item Type: Status: Copy: Barcode: Media Type:
Hashemite Main Library General 005.1 L 783 Normal Circulation Available 1 HU282993 Book