Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Object-oriented analysis and design for information systems: modeling with UML, OCL, and IFMLWazlawick, Raul SidneiMorgan Kaufmann 2014Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
UML modeling languages and applications UML 2004 satellite activities, Lisbon, Portugal, October 11-15, 2004 revised selected papersUML 2004 (2004 Lisbon, Portugal) Nuno Jardim NunesBerlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
The Unified Process for Practitioners: Object-Oriented Design, UML and JavaHunt, JohnLondon: Springer London, Limited 2000Texto completo disponível |
4 |
![]() ![]() ![]() Material Type: Livro
|
![]() |
Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedingsInternational Conference on Formal Engineering Methods (6th 2004 Seattle, Wash.) Jim Davies 1964; Wolfram Schulte; Mike Barnett 1957Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Livro
|
![]() |
Object-oriented and internet-based technologies 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, Net.ObjectDays 2004, Erfurt, Germany, September 27-30, 2004 proceedingsNODe 2004 (2004 Erfurt, Germany) Mathias Weske 1963; Peter LiggesmeyerBerlin Springer New York, N.Y 2004Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Livro
|
![]() |
Guide to the Unified Process featuring UML, Java and Design PatternsHunt, JohnLondon: Springer-Verlag 2003Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised PapersBjørner, Dines ; Broy, Manfred ; Zamulin, Alexandre Zamulin, Alexandre V. ; Bjørner, Dines ; Broy, ManfredBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
FME 2002:Formal Methods—Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 ProceedingsEriksson, Lars-Henrik ; Lindsay, Peter Alexander Eriksson, Lars-Henrik ; Lindsay, Peter Alexander ; Lindsay, Peter Alexander ; Eriksson, Lars-HenrikBerlin, Heidelberg: Springer Berlin Heidelberg 2002Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, ProceedingsGeorge, Chris ; Miao, Huaikou Miao, Huaikou ; George, ChrisBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Agent-Oriented Software Engineering: First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised PapersCiancarini, Paolo ; Wooldridge, Michael Ciancarini, Paolo ; Wooldridge, Michael J.Berlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |