Domain Modeling Based Software Engineering: A Formal Approach by Ruqian Lu
Material type:
TextPublication details: Boston Kluwer Academic Publishers 2000Description: xvi, 347pISBN: 079237889XSubject(s): Software Engineering | Formal methods (Computer science)DDC classification: 005.1 LUR
Contents:
Table of Contents:
Part I: Introduction
| Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
REFERENCE BOOK
|
LRC_JUIT Computer Science & Engineering | REFERENCE SECTION | REF 005.1 LUR (Browse shelf (Opens below)) | Copy 1 | Not for loan | 020242 |
Total holds: 0
Browsing LRC_JUIT shelves, Shelving location: Computer Science & Engineering, Collection: REFERENCE SECTION Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| REF 005.1 LEE Software Engineering Research, Management and Applications | REF 005.1 LEI Perspectives on Software Requirements | REF 005.1 LIU Formal Engineering for Industrial Software Development: using the SOFL method | REF 005.1 LUR Domain Modeling Based Software Engineering: A Formal Approach | REF 005.1 LYS New Algorithms, Architectures and Applications for Reconfigurable Computing | REF 005.1 MAD Software Process Dynamics | REF 005.1 MAD Test-Driven Development : an empirical evaluation of agile practice |
Table of Contents:
Part I: Introduction
There are no comments on this title.