|
1
|
The Best of Both Worlds Integrating UML with Z for Software Specifications
– S Martin
|
|
2
|
An Empirical Investigation of the Comprehensibility of Requirements Specifications
– D Carew, C Exton, J Buckley
- 2005
|
|
2
|
Atelier B, User and Reference Manuals. [Online]. Available: http://www.atelierb.societe.com/index uk.html
– Aix-en-Provence Steria, France
- 2007
|
|
1
|
2003) 1 EU Framework VI project: Rigorous Open Development Environment for Complex Systems (RODIN) http://rodin.cs.ncl.ac.uk
– UML Bible Wiley
|
|
1
|
Principles of Survey Research: Part 1-6
– B Kitchenham, S L Pfleeger
- 2002
|
|
7
|
Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One
– C. F. Snook, R. Harrison
- 2007
|
|
63
|
The Z Notation: A Reference Manual. 2 nd Edition
– J M Spivey
- 1992
|
|
7
|
Confessions of a Formal Methodist
– M G Hinchey
- 2002
|
|
1
|
A Framework for Building Process-Centred Software Engineering Environments
– Rozilawati Razali
- 1994
|
|
1
|
EU Framework VI project: Rigorous Open Development Environment for Complex Systems
– UML Bible Wiley
- 2003
|
|
26
|
UML-B: Formal modeling and design aided by UML
– Colin Snook, Michael Butler
- 2006
|
|
7
|
A Comparison of Empirical Study and Cognitive Dimensions Analysis in the Evaluation of UML Diagrams
– M Kutar, C Britton, T Barker
- 2002
|
|
52
|
Why some material is difficult to learn
– J Sweller, P Chandler
- 1994
|
|
17
|
Software product quality, Part 1: Quality model
– ISO
- 1998
|
|
647
|
The B-book: assigning programs to meanings
– J-R Abrial
- 1996
|
|
20
|
Notational Systems -- the Cognitive Dimensions of Notations framework
– Alan Blackwell , Thomas Green
- 2002
|
|
129
|
Cognitive dimensions of notations
– T. R. G. Green
- 1989
|
|
32
|
The split-attention effect as a factor in the design of instruction
– P Chandler, J Sweller
- 1992
|
|
1234
|
The Entity-Relationship Model: Toward a Unified View of Data
– Peter Pin-shan Chen
- 1976
|
