Filters








15 Hits in 1.2 sec

LePUS3: An Object-Oriented Design Description Language [chapter]

Epameinondas Gasparis, Jonathan Nicholson, Amnon H. Eden
Lecture Notes in Computer Science  
Introduction LePUS3 [1] (lepus.org.uk) is a logic, visual, object-oriented Design Description Language: a formal specification language designed to capture and convey the buildingblocks of object-oriented  ...  Codecharts: Roadmaps and Blueprints for Object-Oriented Programs.  ... 
doi:10.1007/978-3-540-87730-1_37 fatcat:rm2yuwrcyzbg7p6cpk2skmvk6u

The design navigator

Epameinondas Gasparis, Amnon H. Eden, Jonathan Nicholson, Rick Kazman
2008 Companion of the 13th international conference on Software engineering - ICSE Companion '08  
The Design Navigator is a semi-automated design mining tool which reverse engineers LePUS3 design charts from Java™ 1.4 programs at any level of abstraction in reasonable time.  ...  We demonstrate the Design Navigator's step-wise charting process of Java Foundation Classes, generating decreasingly abstract charts of java.awt and discovering building-blocks in its design.  ...  ('abstraction') operations Formal: Charts are statements in LePUS3 [1] , a mathematically defined object-oriented architecture description language Programming-language independent: The Design Navigator  ... 
doi:10.1145/1370175.1370200 dblp:conf/icse/GasparisENK08 fatcat:nugi5im2vrbffbm5hdafntlcpy

Review of Codecharts: Roadmaps and Blueprints for Object-Oriented Programs

Jed Marti
2014 Cartographic Perspectives  
The first section compares Design Description languages and Codecharts (and its language LePUS3) to the more widely known Universal Modeling Language (UML), of which the author is very critical.  ...  The language of Codecharts is object-oriented programming, not the lingua franca of Cartography and Geographic Information Systems.  ... 
doi:10.14714/cp75.1216 fatcat:mnzvwxt44nalrbzuvumivwhqba

Automated verification of design patterns: A case study

Jon Nicholson, Amnon H. Eden, Epameinondas Gasparis, Rick Kazman
2014 Science of Computer Programming  
To be of practical use, specification and modeling languages for software design need to combine rigour with abstraction and simplicity, and be supported by automated design verification tools that require  ...  This paper examines closely the use of the visual language of Codecharts for representing design decisions and demonstrate the process of verifying the conformance of a program to the chart.  ...  The Notation The language of Codecharts, LePUS3, is an object-oriented design description language [5] [20] which was created to meet the criteria set above.  ... 
doi:10.1016/j.scico.2013.05.007 fatcat:tzg3yq6jbrccjexkdjaddva3rm

Languages in Problem Solving and Modeling

Kazimierz Śliwa
2012 Journal of Entrepreneurship, Management and Innovation  
The language choice is particularly important for the latter; we cannot solve a problem using a language that has not been used for the problem description.  ...  Keywords: problem modeling and solving, formal modeling languages, expert and interactive approach to problem modeling, SEQUAL, System Dynamics language. * Dr Hab.  ...  Systems Language Object orientated languages LePUS3, interface Definition Language, ObjecTime Limited, Core Meta-Model, Paradigm Plus, Behavioural languages Behavior modeling Language, Universal  ... 
doi:10.7341/2012845 fatcat:qy33vtsiuna4bgngcy2m6cov3e

A dependency constraint language to manage object-oriented software architectures

Ricardo Terra, Marco Tulio Valente
2009 Software, Practice & Experience  
This paper presents a domain-specific dependency constraint language that allows software architects to restrict the spectrum of structural dependencies, which can be established in object-oriented systems  ...  For example, module Remote denotes all subclasses of java.rmi.UnicastRemoteObject. ‡ A preliminary version of the language has been presented as an emerging research paper at ECSA 2008 [10]. § The * operator  ...  LePUS is a formal language for specifying object-oriented design patterns and architecture [18] .  ... 
doi:10.1002/spe.931 fatcat:2odxzufx6fbmpaz4pbcxc3ukzq

Formal specification of the variants and behavioural features of design patterns

Ian Bayley, Hong Zhu
2010 Journal of Systems and Software  
So many researchers proposed extensions to object-oriented models.  ...  To support modelling, LePUS has ground entities from object-oriented design such as classes, attributes and methods, connected by ground  ...  Recently, the visual notations and the underlying first-order logic language have been formally defined (Eden et al., 2007) and referred to as LePUS3 and Class-Z, respectively.  ... 
doi:10.1016/j.jss.2009.09.039 fatcat:6unfuebe2zahto32h7akdayqwe

How Do Software Architects Specify and Validate Quality Requirements? [chapter]

Andrea Caracciolo, Mircea Filip Lungu, Oscar Nierstrasz
2014 Lecture Notes in Computer Science  
Software architecture is the result of a design effort aimed at ensuring a certain set of quality attributes.  ...  We also thank CHOOSE, the special interest group for Object-Oriented Systems and Environments of the Swiss Informatics Society, for its financial contribution to the presentation of this paper.  ...  Other languages (i.e., SOUL [16] and LePUS3/Class-Z [9] ) are more formal and support more complex specifications.  ... 
doi:10.1007/978-3-319-09970-5_32 fatcat:gn2eivcnwff3lcdmsvp4jzy76a

Architecture Conformance Checking in Dynamically Typed Languages

Sergio Miranda, Elder Rodrigues Jr, Marco Tulio Valente, Ricardo Terra
2016 Journal of Object Technology  
To address these shortcomings, this paper presents an architectural conformance and visualization approach based on static code analysis techniques and on a lightweight type propagation heuristic.  ...  Architectural erosion is a recurrent problem faced by software architects, which might be even more severe in systems implemented in dynamically typed languages.  ...  Every Ruby program is designed through objects, since the language is purely objected-oriented [Bla09] .  ... 
doi:10.5381/jot.2016.15.3.a1 fatcat:pr35chkfszdi7crpzv5zyqvcca

Event-B patterns and their tool support

Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial
2011 Journal of Software and Systems Modeling  
Within our approach, an Event-B design pattern is just another model devoted to the formalisation of a typical sub-problem.  ...  We introduce the notion of design patterns within the framework of Event-B to shorten this gap.  ...  Design patterns are further populated in object-oriented programming [14] .  ... 
doi:10.1007/s10270-010-0183-7 fatcat:7szadd3n3fgctlzxpz5adte444

Modular specification and checking of structural dependencies

Ralf Mitschke, Michael Eichberg, Mira Mezini, Alessandro Garcia, Isela Macia
2013 Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13  
To evaluate our approach we conducted an extensive study spanning nine years of the evolution of the architecture of the object-relational mapping framework Hibernate.  ...  Existing approaches have focused on the correctness of the specification, the impact of the approaches on software quality and the expressiveness of the modeling languages.  ...  Languages specialized on software constraints like SCL [17] , LePUS3 [14] , Intensional Views [23] , PDL [24] and Semmle .QL [7] can be used to check detailed design rules e.g., related to design  ... 
doi:10.1145/2451436.2451448 dblp:conf/aosd/MitschkeEMGB13 fatcat:p7y3ub6bnzawnadkd5ywalttcy

A Unified Approach to Architecture Conformance Checking

Andrea Caracciolo, Mircea Filip Lungu, Oscar Nierstrasz
2015 2015 12th Working IEEE/IFIP Conference on Software Architecture  
JHotDraw JHotDraw 11 is an open-source project developed by Gamma et al., often chosen as a reference object-oriented system for its sound design and rich use of design patterns.  ...  object-oriented system using user-defined queries.  ... 
doi:10.1109/wicsa.2015.11 dblp:conf/wicsa/CaraccioloLN15 fatcat:p7645eykmfgc3aopopwwmwplu4

Explaining simulated phenomena : a defense of the epistemic power of computer simulations [article]

Juan M. Durán, Universität Stuttgart, Universität Stuttgart
2014
Explanation, as the philosopher of science conceives it, is an epistemic notion in the sense that it yields understanding of what it explains.  ...  What kind of understanding does such an explanation yield? This work is my attempt to answer these and other questions in a qualitative and systematic way.  ...  The first is an example of low level programing language (e.g., Algorithm 2.3); the second is an Object Oriented Programming Language; Perl is a good example of a scripting language; and Haskell is the  ... 
doi:10.18419/opus-5392 fatcat:5xropbua4zclxhsfsyzegkj7ya

Ein webbasierter kollaborativer C zur Dokumentierung der Softwarearchitektur

Weiqi Li
2015 unpublished
Der Grund dafü r sind die immer vielfä ltigeren und strengeren Anforderungen an Software, wie Performance, UI-Design usw.  ...  Die RSA unterstü tzt auch die automatische Codegenerierung in Java, C#, C++, Enterprise JavaBean (EJB), Web Services Description Language (WSDL), XML Schema Definition (XSD) und CORBA Interface Description  ... 
doi:10.25365/thesis.37011 fatcat:htjttzpea5bp7hnfynf7sbefim

Creation of a supporting software tool for the development of application with multiple database connections [article]

Anastasios Stamelos, National Technological University Of Athens, National Technological University Of Athens
2015
SDM stands for System Development Methodology 1980s Structured systems analysis and design method (SSADM) from 1980 onwards • Information Requirement Analysis/Soft systems methodology 1990s • Object-oriented  ...  Παραδείγματα γλωσσών που ανήκουν σε αυτή την κατηγορία είναι η Pascal ή η C. • Αντικειμενοστρεφείς γλώσσες (object-oriented) όπου το πρόγραμμα είναι οργανωμένο σε αντικείμενα.  ... 
doi:10.26240/heal.ntua.8684 fatcat:m2ahmjn62fg63fit2rcmnva4ea