Software specification methods : an overview using a case study
Saved in:
| Other Authors: | Frappier, Marc 1965- (Editor), Habrias, Henri (Editor) |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London :
Springer,
c2001
|
| Series: | Formal approaches to computing and information technology
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Specification of software systems
by: Alagar, Vangalur S. 1940-
Published: (1998) -
Industrial-strength formal methods in practice
Published: (1999) -
Software specification and design :
by: Keller, Marilyn 1956-
Published: (1992) -
Πρότυποι όροι σύμβασης για την αγορά μηχανογραφικού εξοπλισμού
Published: (1985) -
Effective methods for software testing
by: Perry, William E.
Published: (1995)