[PDF] Top 20 Volume 52: Software Modeling in Education 2011

... OCL is a language whose spread has not confirmed the optimistic expectations expressed since its inclusion as part of UML 1.1, and then as part of all OMG MOF-based modeling languages. Being much more active in ... See full document

... Model-level vs. Meta-model-level specification: In the model-level approach for pattern specification, patterns are specified using typical examples, that are enhanced with textual spec- ification [GHJV95, LP09]. This is ... See full document

... higher education generally experience considerable difficulty in understanding OO concepts and acquiring the necessary skills in object-oriented analysis and ... See full document

... Industrial practices Organizing activities that are reflecting practices used in industry. Industry lectures Guest lectures, seminars or presentations given by presenters that are actively applying modeling in the ... See full document

... large software systems are systematically developed has been steadily improved over the last decades in order to deal with the increasing size and complexity of such sys- tems ...of software engineering is ... See full document

... Specific Modeling Lan- guages (DSML), early Validation and formal Verification (V&V) using efficient dedicated technologies and Automatic Code and Documentation ...practical software engineering and FM ... See full document

... Multi-view modeling is a widely accepted technique to reduce the com- plexity in the development of modern software ...multi-view modeling support discloses a number of issues: on the one hand ... See full document

... for modeling [BSW + 08], which we have extended providing now a larger amount of questions and a wider variety of questions presented in the ...object-oriented modeling, we mainly focus on multiple choice ... See full document

... Abstract: Access control is one of the main security mechanisms for software ap- plications. It ensures that all accesses conform to a predefined access control policy. It is important to check that the access ... See full document

... The problem, of course, is that anecdotal reports on improvements lack external validity. Other reports, such as [BJMH02], present maintainability and extensibility improvements brought by a combination of DSLs and ... See full document

... a software language. If we take a program expressed in a given software language, we can use these SOS rules to collect all of its possible computation steps, and then build up a graph which we call the ... See full document

... Performance analysis is crucial for the deployment of safe and cost-effective software-intensive systems. Balsamo et.al. [BDIS04] present a review of research in the field of model-based per- formance prediction. ... See full document

... In software-intensive systems for example, the need is increasingly felt for rigorously designed modelling languages to describe, analyze, simulate, optimize, and where appropriate synthesize their physical, ... See full document

... service-oriented software is to divide the system model into two orthogonal aspects: (i) the computation performed by a set of (black-boxed) com- ponents or services, and (ii) their coordination using some kind of ... See full document

... Abstract: One central task in software development by means of graph-based tech- niques is to inspect and to query the underlying graph. Important issues are, for ex- ample, to detect general graph properties like ... See full document

... in software teams is that each software team should have a project ...a software team? What is the role of role assignment? These are only some of the questions with which this work deals ... See full document

... Abstract: Many universities teach computer language handling by mainly focussing on compiler theory, although MDD (model-driven development) and meta-modelling are increasingly important in the software industry ... See full document

... When teaching modeling, one of the most repetitive and time consuming tasks is the develop- ment of exercises and the corresponding solutions. A typical exercise consists of a given textual description of an ... See full document

... Students at higher education institutions in general experience considerable difficulty understanding OO concepts and acquiring the necessary skills in OOAD. Svetinovic et al. [SBG06] investigated the different ... See full document

... For the purpose of this paper we will only consider the basic part of OCL, which is independent of any model. In Fig. 1 we present basic types, omitting types related to modeling, such as Model Element , ... See full document