The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Progress in programming paradigms and languages has over time influenced the way that simulation programs are written. Modern object-oriented, functional programming languages are expressive enough to define embedded Domain Specific Languages (DSLs). The Scala programming language is used to implement ScalaTion that supports several popular simulation modeling paradigms. As a case study, ScalaTion...
Regression testing is an important but expensive stage of software maintenance. Regression test selection addresses the problem of reducing testing cost through selecting a subset of the existing test cases or rerun. Cost-effectiveness is an indispensable factor to consider when developing a regression testing technique. Cost models are created for the purpose of assessing cost-effectiveness of these...
This paper is a research on functional interpretation of object-oriented programs in the intensional type theory with dependent record types and coercive subtyping. We are here simulating a type-theoretic model of Java programs in Coq. Representing a class and its interface-type, which declares a set of methods and their signatures for code reuse, as dependent record types, the type-theoretic encoding...
Tracing source code elements of an existing Object Oriented software system to the components of a Design Pattern is a key step in program comprehension or re-engineering. It helps, mainly for legacy systems, to discover the main design decisions and trade-offs that are often not documented. In this paper an approach is presented to automatically detect Design Patterns in existing Object Oriented...
By using UML (Unified Modeling Language) and ER (Entity Relationship) notations to describe a system, the specification of persistent and transient details became separated. UML and ER models use distinct notations, that cannot be checked for consistence, and therefore are not suitable to be used in a model driven development approach. This paper proposes a synergistic approach to persistence modeling...
ShelbySim is a student-friendly, pedagogy-oriented integrated development environment for designing, simulating, and evaluating a wide range of multidisciplinary, computer-based systems-engineering concepts and applications. Its components emphasize software, hardware, and a holistic combination of the two in realistic operational contexts. The software component provides a Java-like object-oriented...
Product data management (PDM) system enables the management of the entire product lifecycle and related information about its design, its manufacturing and its in-service. The interest of using the object-oriented approach for modeling, specifying and implementing PDM systems is detailed. Then an implementation method is proposed in order to clarify the instantiation of UML diagrams into database...
Fudaa is an open-source, object oriented and distributed framework dedicated to the integration of scientific simulation code in homogeneous, graphic, and communicating interfaces. This tool, developed in Java and Corba, provides a user-friendly, common, and stable environment for independent simulation codes. Whereas in most cases simulation codes exchange data only through files, with Fudaa, they...
In this paper we present a semantic interpreter which implements a dynamic denotational semantics for a small experimental concurrent object-oriented language that we call JoPool. JoPool embodies the modern communication abstractions introduced in the join calculus. It provides the communication primitives of join Java and polyphonic C# together with a generalization of the rendez-vous mechanism that...
This paper describes the diagnostic method developed in a learning environment for object-oriented modeling called Diagram. This method compares the studentpsilas diagram with an expertpsilas diagram in order to find the differences between these two diagrams. The principles of our algorithm rely on graph matching methods and algorithms. The diagrams are schematized in characteristic structural patterns...
The interface specification of components usually lacks behavioral semantics information. Behavioral semantics information specify component interaction constraints on the usage of interface methods, including the order in which these methods should be called and the constraints on the method arguments and returns of methods. Based on dynamic analysis technique, a method which abstracts interaction...
Inheritance is an important mechanism when developing object-oriented programs with class-based programming languages: it enables subtyping, polymorphism, and code reuse. Inheritance is also known as a difficult feature to grasp and to use correctly because of its many purposes. We propose a model of inheritance to help understand class hierarchies of class-based object-oriented programs. We define...
The trend over the past decade in computer science and computer engineering curricula has been to use computer graphics as a junior- or senior-level elective course focusing on 3-D graphics and data visualization. Alternatively, it is possible to develop a computer graphics course that can address core curricular needs beyond its obvious topical and algorithmic scope. The development of an interactive...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.