Reference Hub

This research has been cited in:

Conference
Checking Conformance with Reference Architectures: A Case Study2013 17th IEEE International Enterprise Distributed Object Computing Conference10.1109/EDOC.2013.17
Conference
Pattern specification and application in metamodels in ecoreProceedings of the 1st Industry Track on Software Language Engineering10.1145/2998407.2998411
Conference
One Approach to Improve the Software Quality by Applying Software Design Patterns2019 16th Conference on Electrical Machines, Drives and Power Systems (ELMA)10.1109/ELMA.2019.8771691
Article
Reliable yet flexible software through formal model transformation (rule definition)Knowledge and Information Systems10.1007/s10115-013-0621-2
Chapter
Towards a General Theory of PatternsCyberpatterns10.1007/978-3-319-04447-7_5
Conference
Semantic and Agnostic Representation of Cloud Patterns for Cloud Interoperability and Portability2013 IEEE 5th International Conference on Cloud Computing Technology and Science10.1109/CloudCom.2013.123
Conference
Towards a Periodic Table of conceptualization and formalization on State, Style, Structure, Pattern, Framework, Architecture, Service and so on2019 20th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)10.1109/SNPD.2019.8935653
Conference
Existence Computation: Revelation on Entity vs. Relationship for Relationship Defined Everything of Semantics2019 20th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)10.1109/SNPD.2019.8935728
Chapter
Methodologies for Cloud Portability and InteroperabilityCloud Portability and Interoperability10.1007/978-3-319-13701-8_2
Conference
Defining Cloud Services Workflow: A Comparison between TOSCA and OpenStack Hot2015 Ninth International Conference on Complex, Intelligent, and Software Intensive Systems10.1109/CISIS.2015.80
Chapter
ReferencesCodecharts10.1002/9780470891032.refs
Conference
Requirements for a modeling language to specify and match business process improvement patterns2013 3rd International Workshop on Model-Driven Requirements Engineering (MoDRE)10.1109/MoDRE.2013.6597259
Conference
Applications of Relationship Defined Everything of Semantics on Existence Computation2019 20th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)10.1109/SNPD.2019.8935701
Conference
Formalization of e-commerce patterns using state-based and event-based approaches2016 International Conference on Computing, Communication and Automation (ICCCA)10.1109/CCAA.2016.7813703
Conference
Towards a Problem Oriented Engineering Theory of Pattern-Oriented Analysis and Design2009 33rd Annual IEEE International Computer Software and Applications Conference10.1109/COMPSAC.2009.144
Chapter
A Theory of Classes from the Theoretical Foundations of LePUS3Formal Methods and Software Engineering10.1007/978-3-642-24559-6_35
Article
Supporting domain-specific model patterns with metamodelingSoftware & Systems Modeling10.1007/s10270-009-0118-3
Chapter
Automatic Coding Rule Conformance Checking Using Logic ProgrammingPractical Aspects of Declarative Languages10.1007/978-3-540-77442-6_3
Article
Experience Management Wikis for Reflective Practice in Software Capstone ProjectsIEEE Transactions on Education10.1109/TE.2007.904580
Chapter
Automatic Verification of Real-Time Systems with Rich Data: An OverviewTheory and Applications of Models of Computation10.1007/978-3-642-29952-0_14
Article
A pattern-based approach for improving model qualitySoftware & Systems Modeling10.1007/s10270-013-0390-0
Conference
Using Ontology-Centric Knowledge Integration Framework as a Foundation to Innovative Problem-Solving2022 Applied Informatics International Conference (AiIC)10.1109/AiIC54368.2022.9914031
Conference
A Problem-Oriented Theory of Pattern-Oriented Analysis and Design2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns10.1109/ComputationWorld.2009.57
Chapter
Verification Architectures: Compositional Reasoning for Real-Time SystemsIntegrated Formal Methods10.1007/978-3-642-16265-7_11
Article
A rule-based procedure for automatic recognition of design patterns in UML diagramsSoftware: Practice and Experience10.1002/spe.2336
Article
A study of behavioral decay in design patternsJournal of Software: Evolution and Process10.1002/smr.2638
Chapter
Implications of Markup on the Description of Software PatternsKnowledge Engineering for Software Development Life Cycles10.4018/978-1-60960-509-4.ch008

Design Pattern Formalization Techniques

Toufik Taibi

ISBN13: 9781599042190|ISBN10: 1599042193|EISBN13: 9781599042213|ISBN13 Softcover: 9781616927721

DOI: 10.4018/978-1-59904-219-0

Cite Book Cite Book

MLA

Taibi, Toufik, editor. Design Pattern Formalization Techniques. IGI Global, 2007. https://doi.org/10.4018/978-1-59904-219-0

APA

Taibi, T. (Ed.). (2007). Design Pattern Formalization Techniques. IGI Global. https://doi.org/10.4018/978-1-59904-219-0

Chicago

Taibi, Toufik, ed. Design Pattern Formalization Techniques. Hershey, PA: IGI Global, 2007. https://doi.org/10.4018/978-1-59904-219-0

Export Reference

Favorite Full-Book Download

Many formal approaches for pattern specification are emerging as a means to cope with the inherent shortcomings of informal description. Design Pattern Formalization Techniques presents multiple mathematical, formal approaches for pattern specification, emphasizing on software development processes for engineering disciplines.

Design Pattern Formalization Techniques focuses on formalizing the solution element of patterns, providing tangible benefits to pattern users, researchers, scholars, academicians, practitioners and students working in the field of design patterns and software reuse.Design Pattern Formalization Techniques explains details on several specification languages, allowing readers to choose the most suitable formal technique to solve their specific inquiries.

Reset

Front Materials

Design Pattern Formalization Techniques

MLA

APA

Chicago

Export Reference

Table of Contents

Request Access