A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Filters
LePUS3: An Object-Oriented Design Description Language
[chapter]
Lecture Notes in Computer Science
Preserved Fulltext
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
2008
Companion of the 13th international conference on Software engineering - ICSE Companion '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2014
Cartographic Perspectives
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2014
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
Journal of Entrepreneurship, Management and Innovation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2009
Software, Practice & Experience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2011
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2013
Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2015
2015 12th Working IEEE/IFIP Conference on Software Architecture
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2014
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2015
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2015
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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