333,843 Hits in 8.7 sec

How My Favorite Tool Supporting OCL Must Look Like

Dan Ioan Chiorean, Vladiela Petrascu, Dragos Petrascu
2008 Electronic Communications of the EASST  
This is influenced by a number of objective factors, including: the user's needs, knowledge of existing tools, knowledge of the Object Constraint Language and of the various possibilities of using it.  ...  A reason of this state of facts is due to the concepts which are incomplete or ambiguous specified in the standard.  ...  In the context of the new Software Engineering paradigms (MDA, MDE, LDD), the full conformance of static and dynamic evaluations is essential.  ... 
doi:10.14279/tuj.eceasst.15.180 dblp:journals/eceasst/ChioreanPP08 fatcat:uipp63hsnjbcrnvcqwhygufup4

An Incremental OCL Compiler for Modeling Environments

Tamas Vajk, Gergely Mezei, Tihamer Levendovszky
2008 Electronic Communications of the EASST  
UML and OCL became industry standards, and are supported by many CASE tools.  ...  In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software development.  ...  : Table 1 : 1 Change log states based on input modifications Current input Current change log (original pos → modified pos) / 16 Volume 15 (2008) Incremental OCL Compiler Proc.  ... 
doi:10.14279/tuj.eceasst.15.173 dblp:journals/eceasst/VajkML08 fatcat:fg4mrwokiffcbcrspmhlp7egee

Building an Efficient Component for OCL Evaluation

Manuel Clavel, Egea Marina, Garcia De Dios Miguel Angel
2008 Electronic Communications of the EASST  
In this paper we report on our experience developing the Eye OCL Software (EOS) evaluator, a Java component for efficient OCL evaluation.  ...  follows the key ideas behind the ITP/OCL tool.  ...  We report here on our experience developing the Eye OCL Software [DCE08] (EOS) component, an OCL evaluator designed with the goal of performing efficient evaluation of OCL expressions on medium-large  ... 
doi:10.14279/tuj.eceasst.15.179 dblp:journals/eceasst/ClavelEA08 fatcat:mzqpwwzeanexhcnisir5bc326q

Executing Underspecified OCL Operation Contracts with a SAT Solver

Matthias P. Krieger, Alexander Knapp
2008 Electronic Communications of the EASST  
We present a tool for generating Java method bodies for operations specified with OCL. The efficiency of our method is confirmed by a comparison with existing approaches.  ...  Executing formal operation contracts is an important technique for requirements validation and rapid prototyping.  ...  The analysis is performed with the SAT-based model finder Kodkod [TJ07] , a software package that our tool uses as well.  ... 
doi:10.14279/tuj.eceasst.15.176 dblp:journals/eceasst/KriegerK08 fatcat:wx4jen2rbzcmlm7bmkup5zfypy

Implementing Advanced RBAC Administration Functionality with USE

Tanveer Mustafa, Karsten Sohr, Duc-Hanh Dang, Michael Drouineaud, Stefan Kowski
2008 Electronic Communications of the EASST  
Role-based access control (RBAC) is a powerful means for laying out and developing higher-level organizational policies such as separation of duty, and for simplifying the security management process.  ...  In particular, today often only basic RBAC concepts have found their way into commercial RBAC products; specifically, authorization constraints are not widely supported.  ...  ECEASST / 18 Volume 15 (2008) Implementing Static Authorization Constraints and Role Hierarchy Relations The USEValidationComponent of the ORKA-Admin tool implements various constraints that can be  ... 
doi:10.14279/tuj.eceasst.15.177 dblp:journals/eceasst/MustafaSDDK08 fatcat:hmkewwklindr5gt6dz33gypisq

Observations for Assertion-based Scenarios in the context of Model Validation

Emine G Aydal, Richard F Paige, Jim Woodstock
2008 Electronic Communications of the EASST  
In such a setting, assertions and invariants must be validated.  ...  Certain approaches to Model-Based Testing focus on test case generation from assertions and invariants, e.g., written in the Object Constraint Language.  ...  The tool-related observations aim to reveal the drawbacks and advantages of using the USE tool.  ... 
doi:10.14279/tuj.eceasst.15.181 dblp:journals/eceasst/AydalPW08a fatcat:meqe5t6f5bhexhogl3x6trh2v4

Documenting software using adaptive software artifacts

Filipe Figueiredo Correia
2013 Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity - SPLASH '13  
The volume and complexity of information can be overwhelming. Models are tools for grappling with this overload. A model is a selectively simplified and consciously structured form of knowledge.  ...  Figure 3 . 1 : 31 Concept map of software evolution topics. Figure 3 . 2 : 32 Concept map of adaptive software topics.  ... 
doi:10.1145/2508075.2514873 dblp:conf/oopsla/Correia13 fatcat:avdexpeicrd77ao4yymbwpl4ou

Teaching software engineering using open source software

Guangming Xing
2010 Proceedings of the 48th Annual Southeast Regional Conference on - ACM SE '10  
The exact solution of the system of non-linear equations describing the multiple equilibria is obtained by means of the fsolve tool of the open source software OCTAVE.  ...  The use of computational software can greatly facilitate the teaching of chemical equilibria.  ...  of algebraic concepts [9] .  ... 
doi:10.1145/1900008.1900085 dblp:conf/ACMse/Xing10 fatcat:forrrjpyvfecdjbmmyd45zr3cy

Software for translators

Laura Carolina Collada Ali, Laurence Auffret
2014 Medical Writing  
This article is written from a translator's perspective and aims at explaining how this software is included in the intricacy of a translation project.  ...  This article presents a series of translation tools commonly used in the translation industry, depicting their main features and the way they have transformed the translation process from project assessment  ...  With an ever increasing volume of software on the market, sometimes claiming to be 'the solution' to all translation requirements, it can be challenging to understand the way CAT tools are integrated in  ... 
doi:10.1179/2047480613z.000000000184 fatcat:ozvkuq6glvhjlodppu4ug6q5va

Aligning Software Processes with Strategy

Slaughter, Levine, Ramesh, Pries-Heje, Baskerville
2006 MIS Quarterly  
Acknowledgements We thank the Software Industry Center at Carnegie Mellon University for providing financial support for this project.  ...  We gratefully acknowledge the research assistance of Uma Mutharason and Jeff Roberts at Carnegie Mellon University for their assistance with the data coding described in this paper.  ...  software code, and use of off-the-shelf components and tools.  ... 
doi:10.2307/25148758 fatcat:i74hfhnodrdvdm64ldvb4g2wlq

Ontology-Based Software Engineering- Software Engineering 2.0

T. S. Dillon, E. Chang, P. Wongthongtham
2008 Australian Software Engineering Conference : Proceedings  
The world's first and only software engineering ontology and a project management ontology in conjunction with a domain ontology are used to provide support for software development that is taking place  ...  They, therefore, bring a new paradigm to software engineering through the use of semantics as a central mechanism which will revolutionize the way software is developed and consumed in the future leading  ...  tools and methods ontology which consists of a software tools sub-ontology and a software methods sub-ontology.  ... 
doi:10.1109/aswec.2008.4483185 fatcat:b56hbtb7i5d3tb4ty62gibd7da

Software intelligence

Ahmed E. Hassan, Tao Xie
2010 Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10  
We coin the name SI as an inspiration from the Business Intelligence (BI) field, which offers concepts and techniques to improve business decision making by using fact-based support systems.  ...  In this position paper, we advocate Software Intelligence (SI) as the future of mining software engineering data, within modern software engineering research, practice, and education.  ...  Hassan is the NSERC RIM Industrial Chair in Software Engineering.  ... 
doi:10.1145/1882362.1882397 dblp:conf/sigsoft/HassanX10 fatcat:jdqqen4pgbalvf7ltinj5mtwhi

Software design practice using two SCADA software packages [chapter]

K. P. Basse, G. K. Christensen, P. K. Frederiksen
1996 Software Engineering for Manufacturing Systems  
The software packages are: "Fix" from Intellution and "InTouch" from Wonderware.  ...  Comparison of the software packages in relation to the process control specifications and the development effort is given.  ...  The programming tools for programming the scripts are for Fix and InTouch quite different.  ... 
doi:10.1007/978-0-387-35060-8_14 fatcat:3c2r4zpg7vhupaguwbhiwb2vua

Unburdening onboarding in Software Product Lines [article]

Raul Medeiros
2021 arXiv   pre-print
In this dissertation, we propose assistance tools (i.e., tools built on top of the software project that help learners understand and develop knowledge) as a means for helping newcomers during onboarding  ...  Despite these benefits, SPLs are complex and exhibit particular characteristics that distinguish them from traditional software.  ...  To this end, we resort to assistance tools, which are tools that can help learners understand and develop knowledge (e.g., sensemaking scaffolds [15] ).  ... 
arXiv:2104.05475v1 fatcat:kbowdph3zfhyho6j2ky2xze2ma

When Scientific Software Meets Software Engineering

Dorian Leroy, June Sallou, Johann Bourcier, Benoit Combemale
2021 Computer  
The development of scientific software relies on the collaboration of various stakeholders for the scientific computing and software engineering activities.  ...  In this paper, we investigate the different levels of abstraction, linked to the diverse artifacts of the scientific software development process, a software language can propose, and the V&V facilities  ...  providing such interesting conversations that contributed to the writing and improvement of this paper.  ... 
doi:10.1109/mc.2021.3102299 fatcat:seifo42bajgoxpp7r3ftch3i3e
« Previous Showing results 1 — 15 out of 333,843 results