-
1
Application prototyping : a project management perspective
New York : American Management Association, 1985Format: Book
-
2
Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, A...
Berlin : Springer, 2005Format: Electronic Conference Proceeding eBook -
3
Human-computer interaction : a design guide
Englewood Cliffs, N.J. : Educational Technology Publications, 1989Format: Book
-
4
Introduction to the formal design of real-time systems
London ; New York : Springer, 1999Format: Book
-
5
-
6
Methodology and tools for data base design
Amsterdam ; New York : North-Holland Pub. Co. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983Format: Book
-
7
-
8
System design from provably correct constructs : the beginnings of true software engineering
Englewood Cliffs, N.J. : Prentice-Hall, 1985Format: Book
-
9
-
10
Information systems methodologies : a framework for understanding
Wokingham, England ; Reading, Mass. : Addison-Wesley, 1991
2nd ed.Format: Book
-
11
Methods and tools in user-centred design for information technology
Amsterdam ; New York : New York, N.Y., U.S.A. : North-Holland ; Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1992Format: Book
-
12
Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings
Berlin ; New York : Springer-Verlag, 1983Format: Electronic Conference Proceeding eBook -
13
-
14
FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings
Berlin ; New York : Springer, 2006Format: Electronic Conference Proceeding eBook -
15
-
16
The basics of systems analysis and design for information managers
London : C. Bingley, 1990Format: Book
-
17
Digital systems design with VHDL and synthesis : an integrated approach
Los Alamitos, Calif. : IEEE Computer Society, 1999Format: Book
-
18
-
19
Systems analysis and design for computer applications
Chichester, West Sussex : New York : E. Horwood ; Halsted Press, 1981Format: Book
-
20
Methodologies for computer system design : proceedings for the IFIP WG 10.1 Working Conference on Methodologies for Computer System Design, Lille, France, 15-17 September, 1983
Amsterdam ; New York : New York, N.Y., U.S.A. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985Format: Conference Proceeding Book