Design patterns formalization techniques /

Design patterns formalization techniques /

Veure altres versions (1)

Guardat en:

Dades bibliogràfiques
Altres autors:	Toufik Taibi
Format:	Llibre
Idioma:	English
Publicat:	Hershey, PA : IGI Publishing, 2007.
Matèries:	Software patterns. Formal methods (Computer science). Software architecture.
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

Design patterns formalization techniques /
Publicat: (2007)

Formal methods and software engineering /
Publicat: (2005)

Software requirement patterns /
per: Withall, Stephen
Publicat: (2007)

Domain modeling-based software engineering : a formal approach /
per: Rukian, Lu
Publicat: (2000)

Constructing correct software /
per: Cooke, John
Publicat: (2008)

Software specification methods /
Publicat: (2006)

The joy of patterns : using patterns for enterprize development /
per: Goldfedder, Brandon
Publicat: (2002)

The art of software architecture : design methods and techniques /
per: Albin, Stephen T.
Publicat: (2003)

xUnit test patterns : refactoring test code /
per: Meszaros, Gerard
Publicat: (2007)

Agent technology from a formal perspective /
Publicat: (2006)

Software architecture : foundations, theory and practice /
per: Taylor, Richard N.
Publicat: (2010)

Essential software architecture /
per: Gorton, Ian
Publicat: (2006)

EJB design patterns : advanced patterns, processes, and idioms /
per: Marinescu, Floyd
Publicat: (2002)

Use cases : patterns and blueprints /
per: Overgaard, Gunnar
Publicat: (2005)

Visual basic design patterns /
per: Grand, Mark
Publicat: (2005)

Synchronous equivalence : formal methods for embedded systems /
per: Hsieh, Harry
Publicat: (2001)

Design patterns in communications software /
Publicat: (2001)

Real-time design patterns : robust scalable architecture for real-time systems /
per: Douglas, Bruce Powel
Publicat: (2003)

Software specification and design : an engineering approach /
per: Munson, John C.
Publicat: (2006)

Patterns in Java : a catalog of reusable design patterns illustrated with UML /
per: Grand, Mark
Publicat: (2002)

Design patterns for dummies /
per: Holzner, Steven
Publicat: (2006)

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
Publicat: (2007)

Large-scale software architecture : a practical guide using UML /
per: Garland, Jeff
Publicat: (2003)

Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1
Publicat: (2001)

The art of software modeling /
per: Lieberman, Benjamin A.
Publicat: (2007)

C# : the nuts and bolts /
per: Mukhi, Vijay
Publicat: (2001)

Formal methods and software engineering /
Publicat: (2005)

Formal models of agents : ESPRIT Project ModelAge final workshop selected papers /
Publicat: (1999)

Verification techniques for system-level design /
per: Fujita, Masahiro
Publicat: (2008)

Foundations of algebraic specification and formal software development /
per: Sannella, Donald
Publicat: (2012)

Formal approaches to software testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, revised selected papers /
Publicat: (2005)

Software architecture : third European workshop, EWSA 2006, Nantes, France, September 4-5, 2006, revised selected papers /
Publicat: (2006)

Agent technology from a formal perspective /
Publicat: (2006)

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Formal methods for industrial critical systems a survey of applications
Publicat: (2013)

Formal methods for industrial critical systems a survey of applications
Publicat: (2013)

Domain modeling-based software engineering : a formal approach /
per: Rukian, Lu
Publicat: (2000)

Model driven architecture and ontology development /
per: Gasevic, Dragan
Publicat: (2006)

Constructing correct software /
per: Cooke, John
Publicat: (2008)