Composing pattern-based components and verifying correctness

Authors:
Jing Dong;Paulo S. C. Alencar;Donald D. Cowan;Sheng Yang
Affiliations:
Department of Computer Science, The University of Texas at Dallas, Richardson, TX 75083, USA;School of Computer Science, The University of Waterloo, Waterloo, Ontario, Canada N2L 3G1;School of Computer Science, The University of Waterloo, Waterloo, Ontario, Canada N2L 3G1;Department of Computer Science, The University of Texas at Dallas, Richardson, TX 75083, USA
Venue:
Journal of Systems and Software
Year:
2007

Citing 33
Cited 7

The Z notation: a reference manual

The Z notation: a reference manual
Composing specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
The temporal logic of actions

ACM Transactions on Programming Languages and Systems (TOPLAS)
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
An object-Z specification of a mobile phone system

Object-oriented specification case studies
Correct Architecture Refinement

IEEE Transactions on Software Engineering - Special issue on software architecture
Object-Z: a specification language advocated for the description of standards

Computer Standards & Interfaces - Special issue on formal description techniques
Architectural mismatch or why it's hard to build systems out of existing parts

Proceedings of the 17th international conference on Software engineering
Component-oriented software technology

Object-oriented software composition
Composite design patterns

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Analysis patterns: reusable objects models

Analysis patterns: reusable objects models
Classification of research efforts in requirements engineering

ACM Computing Surveys (CSUR)
Blending Object-Z and Timed CSP: an introduction to TCOZ

Proceedings of the 20th international conference on Software engineering
Formalizing design patterns

Proceedings of the 20th international conference on Software engineering
Design components: toward software composition at the design level

Proceedings of the 20th international conference on Software engineering
Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
A Logical Theory of Interfaces and Objects

IEEE Transactions on Software Engineering
Applying "Design by Contract"

Computer
A Pattern-Based Approach to Structural Design Composition

COMPSAC '99 23rd International Computer Software and Applications Conference
Object-Z

Object Orientation in Z
A Formal Approach to Architectural Design Patterns

FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Principles in formal specification of object oriented design and architecture

CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
Behavioral specification of GOF design patterns with LOTOS

APSEC '00 Proceedings of the Seventh Asia-Pacific Software Engineering Conference
Experience Report: Correcting System Failure in a COTS Information System

ICSM '98 Proceedings of the International Conference on Software Maintenance
A Component-Based Software Development Model

COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Responsibilities and Rewards: Specifying Design Patterns

Proceedings of the 26th International Conference on Software Engineering
Basic Concepts and Taxonomy of Dependable and Secure Computing

IEEE Transactions on Dependable and Secure Computing
VisDP: A Web Service for Visualizing Design Patterns on Demand

ITCC '05 Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'05) - Volume II - Volume 02
Automating the analysis of design component contracts: Research Articles

Software—Practice & Experience
A Model Transformation Approach for Design Pattern Evolutions

ECBS '06 Proceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems
Reverse Engineering of Design Patterns from Java Source Code

ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
DP-Miner: Design Pattern Discovery Using Matrix

ECBS '07 Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems
Using automatable proof obligations for component-based design checking

ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems

A formal model of design-patterns based design

Proceedings of the 2nd India software engineering conference
Design pattern solutions as explicit entities in component-based software development

Proceedings of the 16th international workshop on Component-oriented programming
Stable availability under denial of service attacks through formal patterns

FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Modeling Design Patterns for Semi-Automatic Reuse in System Design

Journal of Database Management
Towards an approach for modeling and formalizing SOA design patterns with Event-B

Proceedings of the 28th Annual ACM Symposium on Applied Computing
An algebra of design patterns

ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Taming distributed system complexity through formal patterns

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Expert judgment-based effort estimation of software development work is partly based on non-mechanical and unconscious processes. For this reason, a certain degree of intra-person inconsistency is expected, i.e., the same information presented to the ...