1
|
Material Type: Livro
|
|
FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
World Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France) Jeannette Marie Wing; Jim Woodcock; Jim Davies 1964-
Berlin Springer New York c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1709 e.1 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Directory of applications software of the United Nations system
United Nations Advisory Committee for the Co-ordination of Information Systems
New York United Nations 1990
Localização:
FFCLRP - Fac. Fil. Ciên. Let. de R. Preto
(R681.3.06 U58d )(Acessar)
|
3
|
Material Type: Livro
|
|
Applying use cases a practical guide
Geri Schneider Jason P Winters
Boston Addison-Wesley London 2001
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.413 Sch58a2 ) e outros locais(Acessar)
|
4
|
Material Type: Livro
|
|
Component-based development for enterprise systems applying the SELECT Perspective
Paul R. Allen Stuart Frost
Cambridge, UK Cambridge University Press New York New York SIGS Books 1998
Localização:
IME - Inst. Matemática e Estatística
(QA752 A428c e.2 )(Acessar)
|
5
|
Material Type: Livro
|
|
Patterns for effective use cases
Steve Adolph Paul Bramble
Boston Addison-Wesley c2003
Localização:
IME - Inst. Matemática e Estatística
(QA752.5 A239p )(Acessar)
|
6
|
Material Type: Livro
|
|
Building object applications that work your step-by-step handbook for developing robust systems with object technology
Scott W. Ambler 1966-
Cambridge, UK Cambridge University Press New York New York SIGS Books c1998
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.045 Am16b ) e outros locais(Acessar)
|
7
|
Material Type: Livro
|
|
SanFrancisco component framework an introduction
Paul Monday Mary Dangler; James Carey 1962-
Reading, Mass Addison-Wesley 2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68N30.01 M741sf e.1 )(Acessar)
|
8
|
Material Type: Livro
|
|
Testing applications on the Web test planning for Internet-based systems
Hung Quoc Nguyen
New York Wiley 2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68N30.25 N576ta e.1 )(Acessar)
|
9
|
Material Type: Livro
|
|
Web engineering principles and techniques
Woojong Suh
Hershey, PA Idea Group Pub. c2005
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68M10.01 W364 e.1 )(Acessar)
|
10
|
Material Type: Livro
|
|
Framework process patterns lessons learned developing application frameworks
James Carey 1962- Brent Carlson 1961-
Boston Addison-Wesley c2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68N30.50 C274fp e.1 )(Acessar)
|