Achieving Consistency and Reusability in Presentation Layer Design using Formal Methods and Design Patterns

2010 ◽  
pp. 313-318
Author(s):  
Faheem Sohail ◽  
Farooq Zubairi ◽  
Nabeel Sabir ◽  
Nazir Ahmad Zafar
Keyword(s):  
Formal Methods ◽  
Design Patterns

Verification and Validation of Nonfunctional Aspects in Enterprise Modeling

2011 ◽  
pp. 257-298
Author(s):  
András Pataricza ◽  
András Balogh ◽  
Lazlos Gonczy
Keyword(s):  
Formal Methods ◽  
Design Patterns ◽  
Best Practice ◽  
Enterprise Modeling ◽  
Verification And Validation ◽  
Transformation Techniques ◽  
Validation And Verification ◽  
Systems Architecture ◽  
Uml Profiles ◽  
Methods And Techniques

This chapter introduces the main notions related to the dependability of applications in a self-contained way in order to bring the topic near to non-experts, the modeling aspects including requirement formulation in UML, the evolving UML profiles, design patterns for the best practice and basic means for testing and formal methods based validation and verification of designs. We also introduce a method that relies on the introduced standards and model transformation techniques that allows the QoS-driven optimization of enterprise systems architecture. The methods and techniques are illustrated with practical example models and problems.

Design Patterns Formal Composition and Analysis

2019 ◽  
Vol 12 (2) ◽  
pp. 1-21
Author(s):  
Halima Douibi ◽  
Faiza Belala
Keyword(s):  
Formal Methods ◽  
Design Pattern ◽  
Design Patterns ◽  
Formal Description ◽  
Rewriting Logic ◽  
Software Developers ◽  
Meta Model ◽  
Modeling Approach ◽  
Proposed Model ◽  
Informal Description

Informal description of design patterns was adopted to facilitate their understanding by software developers. However, these descriptions lead to ambiguities limiting their successful use in real applications. Recently, several formal methods have been employed to guarantee precise specification of design pattern elements without insisting on their behavior. The main goal of this article is to propose a rewriting logic-based framework for enhancing formal description and reasoning on design patterns composition. The proposed model is integrated and executed under Maude using K-Maude tool. It allows first to associate a meta model notation, according to MDA approach, to all design patterns elements and then, a Maude semantic basis for specifying both their structural and dynamic aspects, is given. In particular, it will be shown how the authors' combined modeling approach is exploited for defining a set of operations on patterns, and how it will be used to formal analyze patterns composition.

Application of formal methods to the VIPER microprocessor

1987 ◽  
Vol 134 (3) ◽  
pp. 133 ◽  
Author(s):  
W.J. Cullyer ◽  
C.H. Pygott
Keyword(s):  
Formal Methods

ANALYZING AND IMPROVING WEB APPLICATION QUALITY USING DESIGN PATTERNS

2012 ◽  
Vol 2 (2) ◽  
pp. 112-116
Author(s):  
Shikha Bhatia ◽  
Mr. Harshpreet Singh
Keyword(s):  
Web Application ◽  
Design Pattern ◽  
Design Patterns ◽  
Web Applications ◽  
Past Research ◽  
Software Systems ◽  
Interactive Software ◽  
Web Based ◽  
Software Application ◽  
Execution Speed

With the mounting demand of web applications, a number of issues allied to its quality have came in existence. In the meadow of web applications, it is very thorny to develop high quality web applications. A design pattern is a general repeatable solution to a generally stirring problem in software design. It should be noted that design pattern is not a finished product that can be directly transformed into source code. Rather design pattern is a depiction or template that describes how to find solution of a problem that can be used in many different situations. Past research has shown that design patterns greatly improved the execution speed of a software application. Design pattern are classified as creational design patterns, structural design pattern, behavioral design pattern, etc. MVC design pattern is very productive for architecting interactive software systems and web applications. This design pattern is partition-independent, because it is expressed in terms of an interactive application running in a single address space. We will design and analyze an algorithm by using MVC approach to improve the performance of web based application. The objective of our study will be to reduce one of the major object oriented features i.e. coupling between model and view segments of web based application. The implementation for the same will be done in by using .NET framework.

JAVASCRIPT ASYNCHRONOUS PROGRAMMING

2019 ◽  
Vol 128 (2B) ◽  
pp. 5-16
Author(s):  
Tran Thanh Luong ◽  
Le My Canh
Keyword(s):  
Design Patterns ◽  
Source Code ◽  
Object Oriented ◽  
Exception Handling ◽  
Code Smells ◽  
Asynchronous Programming ◽  
Event Driven ◽  
Programming Patterns ◽  
The Impact

JavaScript has become more and more popular in recent years because its wealthy features as being dynamic, interpreted and object-oriented with first-class functions. Furthermore, JavaScript is designed with event-driven and I/O non-blocking model that boosts the performance of overall application especially in the case of Node.js. To take advantage of these characteristics, many design patterns that implement asynchronous programming for JavaScript were proposed. However, choosing a right pattern and implementing a good asynchronous source code is a challenge and thus easily lead into less robust application and low quality source code. Extended from our previous works on exception handling code smells in JavaScript and exception handling code smells in JavaScript asynchronous programming with promise, this research aims at studying the impact of three JavaScript asynchronous programming patterns on quality of source code and application.

Sign in / Sign up

Export Citation Format

Share Document