Cover Image

QR Code

Design patterns formalization techniques

Other Authors:	Taibi, Toufik
Published:	Hershey, PA.: IGI Pub., 2007.
Subjects:	Software architecture Formal methods (Computer science) Software pattens

Similar Items

Convolutional neural networks for pattern recognition Syafeeza Ahmad Radzi.
by: Syafeeza Ahmad Radzi
Published: (2016)

Formal specification : techniques and applications Nimal Nissankke.
by: Nissanke
Published: (1999)

FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings edited by Nikolaj Bjorner, Frank de Boer..
Published: (2015)

Software engineering and formal methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers editors Carlos Canal, Akram Idani.
Published: (2015)

Modern formal methods and applications edited by Hossam A. Gabbar.
Published: (2006)

Patterns for parallel software design Jorge Luis Ortega-Arjona.
by: Ortega-Arjona, Jorge Luis
Published: (2010)

Software specification methods edited by Henri Habrias, Marc Frappier.
Published: (2006)

Industrial strength formal methods in practice Michael G. Hinchey and Jonathan P. Bowen.
Published: (1999)

Formal methods: foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014, Proceedings Christiano Braga [et al.], (eds.)..
Published: (2015)

Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 December 2, 2005 : proceedings Judi Romijn, Graeme Smith, Jaco van de Pol (eds.).
Published: (2005)

Object-oriented design & patterns Cay Horstmann.
by: Horstmann
Published: (2006)

Real-time design patterns : robust scalable architecture for real-time systems Bruce Powel Douglass.
by: Douglass, Bruce Powel
Published: (2003)

Software specification and design : an engineering approach John C. Munson.
by: Munson
Published: (2006)

Validated designs for object-oriented systems John Fitzgerald ... [et al.].
Published: (2005)

Flexible, reliable software : using patterns and agile development Henrik Baerbak Christensen.
by: Christensen, Henrik B.
Published: (2010)

Model driven architecture and ontology development by Dragan Gasevic.
by: Djuric, Dragan
Published: (2006)

Dynamic logic David Harel, Dexter Kozen, Jerzy Tiuryn.
by: Harel
Published: (2000)

Patterns of HCI Design and HCI Design of Patterns : bridging HCI Design and Model-Driven software engineering Ahmed Seffah.
by: Seffah, Ahmed
Published: (2015)

The software architect's profession : an introduction Marc T. Sewell and Laura M. Sewell.
by: Sewell
Published: (2002)

Computer architecture : software aspects, coding, and hardware John Y. Hsu.
by: Hsu
Published: (2001)

Object-oriented analysis & design Andrew Haigh.
by: Haigh
Published: (2001)

Documenting software architectures : views and beyond Paul Clements ...[et al.].
Published: (2003)

Model-driven software development : integrating quality assurance Jörg Rech, Christian Bunse [editors].
Published: (2009)

Pattern-oriented software architecture : patterns for resource management Michael Kircher, Prashant Jain.
by: Kircher
Published: (2004)

Patterns for performance and operability : building and testing enterprise software Chris Ford ... [et al.].
Published: (2008)

Object-oriented reengineering patterns Serge Demeyer, Steþphane Ducasse, Oscar Nierstrasz.
by: Demeyer, Serge
Published: (2003)

Architectural design of multi-agent systems : technologies and techniques Hong Lin.
by: Lin, Hong
Published: (2007)

Essential software architecture Ian Gorton.
by: Gorton, Ian
Published: (2011)

Software architecture : foundations, theory, and practice Richard N. Taylor, Nenad Medvidovic, Eric M. Dashofy.
by: Taylor, Richard N
Published: (2010)

Patterns of data modeling Michael Blaha.
by: Blaha, Michael
Published: (2010)

Evaluating software architectures : methods and case studies Paul Clements, Rick Kazman, Mark Klein.
by: Clements
Published: (2002)

Delphi programming with COM and ActiveX V. Ponamarev.
by: Ponamarev
Published: (2003)

Java testing patterns Jon Thomas ... [et al.].
Published: (2004)

Applying OMT : a practical step-by-step guide to using the object modeling technique Kurt W. Derr.
by: Derr, Kurt W

Architecting software intensive system : a practitioner's guide Anthony J. Lattanze.
by: Lattanze, Anthony J.
Published: (2009)

Com + for developers featuring Martin Schaeferli.
Published: (1999)

COM+ Richard C. Leinecker.
by: Leinecker
Published: (2000)

Software engineering : modern approaches Eric J. Braude, Michael E. Bernstein.
by: Braude, Eric J.
Published: (2011)

Project-based software engineering : an object-oriented approach Evelyn Stiller, Cathie LeBlanc.
by: Stiller, Evelyn
Published: (2002)

Agile adoption patterns : a roadmap to organizational success Amr Elssamadisy..
by: Elssamadisy, Amr, 1970-
Published: (2009)