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.
Filters
How My Favorite Tool Supporting OCL Must Look Like
2008
Electronic Communications of the EASST
Preserved Fulltext
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
2008
Electronic Communications of the EASST
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.
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
2008
Electronic Communications of the EASST
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.
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
2008
Electronic Communications of the EASST
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.
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
2008
Electronic Communications of the EASST
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.
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
2008
Electronic Communications of the EASST
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.
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
2013
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity - SPLASH '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 2020; you can also visit the original URL.
The file type is application/pdf.
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
2010
Proceedings of the 48th Annual Southeast Regional Conference on - ACM SE '10
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.
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
2014
Medical Writing
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.
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
2006
MIS Quarterly
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.
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
2008
Australian Software Engineering Conference : Proceedings
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 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
2010
Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10
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 2016; you can also visit the original URL.
The file type is application/pdf.
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]
1996
Software Engineering for Manufacturing Systems
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 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]
2021
arXiv
pre-print
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 2021; you can also visit the original URL.
The file type is application/pdf.
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
2021
Computer
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.
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