1
Material Type:
Livro
Information engineering
James Martin 1933-
Englewood Cliffs, N.J Prentice Hall London Prentice-Hall International UK c1989
Localização:
EPBC - Esc. Politécnica-Bib Central
(65.012.12 M364i v.3 ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Livro
Algebraic system specification and development a survey and annotated bibliography
M Bidoit 1957- (Michel)
Berlin New York Springer-Verlag c1991
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.501 e.1 ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Livro
A unified methodology for developing systems
Robert H. Wallace John E Stockenberg; Robert N Charette
New York, NY Intertext Publications McGraw-Hill c1987
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.413 W155u ) (Acessar)
This feature requires javascript
4
Material Type:
Livro
Introductory systems and design
W. H. Huggins (William H.) Doris R Entwisle
Waltham, Mass. Blaisdell 1968
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.413 H873i ) (Acessar)
This feature requires javascript
5
Material Type:
Livro
Industrial applications of formal methods to model, design, and analyze computer systems an international survey
Dan Craigen 1953- Susan L Gerhart; Theodore L Ralston
Park Ridge, N.J. Noyes Data Corp. c1995
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.413 C844i ) (Acessar)
This feature requires javascript
6
Material Type:
Livro
Systems design and documentation an introduction to the HIPO method
Harry Katzan
New York Van Nostrand Reinhold c1976
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.413 K159s ) e outros locais(Acessar)
This feature requires javascript
7
Material Type:
Livro
FME '97, industrial applications and strengthened foundations of formal methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings
International Symposium of Formal Methods Europe (4th 1997 Graz, Austria) John Fitzgerald 1965-; C. B Jones (Cliff B.) 1944-; Peter Lucas 1955-
Berlin New York Springer c1997
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1313 ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Livro
Information systems development methodologies, techniques and tools
D. E. Avison G Fitzgerald (Guy)
London McGraw-Hill New York c1995
Localização:
FEA - Fac. Econ. Adm. Contab. e Atuária
(005.12 A958i ) (Acessar)
This feature requires javascript
9
Material Type:
Livro
Modern systems analysis and design
Jeffrey A Hoffer Joey F George; Joseph S Valacich 1959-
Upper Saddle River, N.J. Pearson Prentice Hall c2008
Localização:
FEA - Fac. Econ. Adm. Contab. e Atuária
(005.12 H698m ) (Acessar)
This feature requires javascript
10
Material Type:
Livro
System analysis & design in a changing world
John W. Satzinger Robert B Jackson; Stephen D Burd
Cambridge, Ma. Course Technology 2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68M05.01 S254sa e.1 ) (Acessar)
This feature requires javascript