1. Interface design : by Bickford, Peter Publication: Boston : Ap Professional, 1997 Date:1997 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
2. Designing object-oriented C++ applications using the booch method / by Martin, Robert Cecil Publication: Upper Saddle River : Prentice Hall, 1995 Date:1995 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
3. Developing safety systems : by Pyle, I. C., Publication: New York : Prentice Hall, 1991 . xiv,254p Date:1991 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
4. Formal specification and software development / by Bjørner, Dines, Publication: Englewood Cliffs : Prentice-Hall, 1982 . x,501p : 25cm Date:1982 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
5. Software requirements : by Davis, Alan M. Publication: Englewood Cliffs, NJ : Prentice-Hall International, 1993 Date:1993 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
6. Object-oriented systems analysis : by Shlaer, Sally Publication: Englewood Cliffs, N.J. : Yourdon Press, 1988 . xii, 144 p. : 24 cm Date:1988 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
7. Object-oriented software construction by Meyer, Bertrand Publication: New York Prentice-Hall 1988 . xviii, 534 p. 24 cm Date:1988 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
8. Object-oriented software construction / by Meyer, Bertrand Publication: Upper Saddle River : Prentice Hall PTR, 1997 Date:1997 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
9. Structured rapid prototying : by Connell, John L. Publication: Englewood Cliffs, N.J. : Prentice-Hall Building, 1989 . xiv,299p : 24cm Date:1989 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
10. Structured techniques : by Martin, James Publication: Englewood Cliffs, NJ : Prentice Hall, 1988 Date:1988 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
11. Systematic software development using VDM / by Jones, Cliff B. Publication: Englewood Cliffs,NJ : Prentice-Hall, 1986 . xvi,300p : 24cm Date:1986 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
12. Systematic software development using VDM / by Jones, Cliff B., Publication: London : Prentice Hall, 1990 . xiv,333p : 24cm Date:1990 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
13. Software engineering with abstractions / by Berzins, Valdis Publication: Reading, Mass. : Addison-Wesley, 1991 . xv, 624 p. : 24 cm Date:1991 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
14. The specification of computer programs / by Turski, Władisław M., Publication: Wokingham : Addison-Wesley, 1987 Date:1987 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
15. The unified modeling language reference manual / by Rumbaugh, James Publication: Reading, Mass. : Addison-Wesley, 1999 Date:1999 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1), IST - Biblioteca de Elect.Comp. e Inf. (1), IST - Biblioteca do Tagus Park (1), IST - Biblioteca do Tagus Park (1), IST - Biblioteca do Tagus Park (1), IST - Biblioteca do Tagus Park (1), IST - Biblioteca do Tagus Park (1), IST - Biblioteca do Tagus Park (1),

Actions:
16. The unified modeling language user guide by Booch, Grady Publication: Reading, Mass. Addison-Wesley 1999 . xxii, 482 p. 25 cm Date:1999 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1), IST - Biblioteca do Tagus Park (1), IST - Biblioteca do Tagus Park (1),

Actions:
17. The unified software development process by Jacobson, Ivar Publication: Reading Addison-Wesley 1999 , The complete guide to the Unified Process from original designers Date:1999 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1), IST - Biblioteca do Tagus Park (1),

Actions:
18. Mathematical methods of specification and synthesis of software systems '85 :   Publication: Berlin : Springer, 1986 . 245p ; 25cm Date:1986 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
19. VDM - a formal method at work :   Publication: Berlin : Springer, 1987 . ix,422p ; 25cm Date:1987 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
20. System development and Ada :   Publication: Berlin : Springer-Verlag, 1987 Date:1987 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
21. MetaSoft primer by Blikle, Andrzej Publication: Berlin Springer 1987 . xii, 140 p. Date:1987 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
22. VDM '88 :   Publication: Berlin : Springer-Verlag, 1988 Date:1988 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
23. Algebraic methods II :   Publication: Berlin : Springer, 1991 . vi, 434 p. , Proceedings of a workshop held in September 1989 in Mierlo, The Netherlands Date:1991 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
24. TAPSOFT '91 :   Publication: Berlin : Springer, 1991 . viii, 482 p. Date:1991 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
25. TAPSOFT '91 :   Publication: Berlin : Springer, 1991 . viii, 455 p Date:1991 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
26. Software development environments and CASE technology :   Publication: Berlin : Springer, 1991 . viii, 288 p. Date:1991 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
27. VDM '91 :   Publication: Berlin : Springer, 1991 Date:1991 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1), IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
28. Software engineering in C by Darnell, Peter A. Publication: New York Springer-Verlag 1988 . xx, 612 p. 24 cm Date:1988 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
29. Black-box testing : by Beizer, Boris Publication: New York : John Wiley & Sons, Inc., 1995 Date:1995 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
30. Managing software development projects : by Whitten, Neal Publication: New York : Wiley, 1990 . xii,276p : 25cm Date:1990 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
31. Auditing software development : by Vallabhaneni, S. Rao Publication: New York : Wiley, 1990 . xvii, 439 p. : 26 cm. Date:1990 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
32. Reusability and software construction : by Smith, Jerry D., Publication: New York : Wiley, 1990 . xvii, 542 p. : , Cover title: Reusability & software construction 24 cm. Date:1990 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
33. CASE : by Fisher, Alan S. Publication: New York : John Wiley, 1991 Date:1991 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
34. Concurrent programming : by Axford, Tom Publication: Chichester : Wiley, 1989 Date:1989 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
35. Developing C++ software / by Winder, R., Publication: Chichester : Wiley, 1991 . xvi,400p : 23cm Date:1991 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
36. Computer systems development : by Friedman, Andrew L. Publication: Chichester [etc.] : Wiley, 1989 . xvii, 420 p. : 24 cm Date:1989 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
37. Software engineering : by Vliet, Hans van Publication: Chichester : John Wiley and Sons, 1995 . xix, 558 p. : , Data de cop.: 1993 25 cm Date:1995 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
38. Pattern-oriented software architecture :   Publication: Chichester : John Wiley & Sons, 1996 Date:1996 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
39. Delphi 2 developer's guide / by Pacheco, Xavier Publication: Indianopolis : Sams Publishing, 1996 . xxx, 1322 p. : , Inclui índice 23 cm + Date:1996 Availability: Copies available: IST - Biblioteca de Civil (1),

Actions:
40. Delphi 4 developer's guide / by Pacheco, Xavier Publication: Indianapolis, Ind. : SAMS, 1998 Date:1998 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1), IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
41. Debugging the development process : by Maguire, Steve Publication: Redmond, Was. : Microsoft Press, 1994 Date:1994 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
42. JSP and JSD : by Cameron, John R. Publication: Washington, D.C. : IEEE Computer Society Press, 1989 Date:1989 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
43. Developing user interfaces / by Olsen, Dan R. Publication: San Francisco, Calif : Morgan Kaufmann Publishers, 1998 Date:1998 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
44. Software reliability modelling and identification :   Publication: Berlin : Springer-Verlag, 1988 Date:1988 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
45. Algebraic methods :   Publication: Berlin : Springer, 1989 . vi,558p ; 25cm Date:1989 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
46. VDM'90 VDM and Z-formal methods in software development :   Publication: Berlin : Springer, 1990 . xvii,579p ; 25cm Date:1990 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
47. Programação em C++ by Rodrigues, Pimenta Publication: Lisboa FCA-Editora de Informática 1998 . 1 CD-ROM Date:1998 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1), IST - Biblioteca de Elect.Comp. e Inf. (1), IST - Biblioteca de Elect.Comp. e Inf. (1), IST - Biblioteca do Tagus Park (1), IST - Biblioteca do Tagus Park (1), IST - Biblioteca do Tagus Park (1), Checked out (1),

Actions:
48. Um sistema multilingue para suportar processos de especifição de software / by Antão, José Carlos Roque Publication: Lisboa : Instituto Superior Técnico, 1992 Date:1992 Availability: No items available:

Actions:
No cover image available
49. Dynamics of software development / by McCarthy, Jim Publication: Redmond, Was. : Microsoft Press, 1995 Date:1995 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
No cover image available
50. Software project survival guide / by McConnell, Steve Publication: Redmond, Was. : Microsoft Press, 1998 Date:1998 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
No cover image available
1 2 3 Next >>

© 2012, Universidade de Lisboa
Todos os direitos reservados - All rights reserved
Languages: