Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
14
Scaling Step-Wise Refinement
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
, 2004
"... Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Equations for Application Design) model that shows how step-wise refinement scales to synthesize multiple programs and mu ..."
Abstract
-
Cited by 454 (41 self)
- Add to MetaCart
specifications, refining Java and non-Java artifacts automatically; a task that was accomplished only by ad hoc means previously.
Hyper/J™: Multi-Dimensional Separation of Concerns for Java™
, 2001
"... Hyper/J supports a new approach to constructing, integrating and evolving software, called multi-dimensional separation of concerns. Developers can decompose and organize code and other artifacts according to multiple, arbitrary criteria (concerns) simultaneously—even after the software has been imp ..."
Abstract
-
Cited by 121 (0 self)
- Add to MetaCart
Hyper/J supports a new approach to constructing, integrating and evolving software, called multi-dimensional separation of concerns. Developers can decompose and organize code and other artifacts according to multiple, arbitrary criteria (concerns) simultaneously—even after the software has been
A.: Sound empirical evidence in software testing
- In: ACM/IEEE International Conference on Software Engineering (ICSE
, 2012
"... Abstract—Several promising techniques have been proposed to automate different tasks in software testing, such as test data generation for object-oriented software. However, reported studies in the literature only show the feasibility of the proposed techniques, because the choice of the employed ar ..."
Abstract
-
Cited by 25 (17 self)
- Add to MetaCart
artifacts in the case studies (e.g., software applications) is usually done in a non-systematic way. The chosen case study might be biased, and so it might not be a valid representative of the addressed type of software (e.g., internet applications and embedded systems). The common trend seems
Program Understanding: A Reengineering Case for the Transformation Tool Contest
"... In Software Reengineering, one of the central artifacts is the source code of the legacy system in question. In fact, in most cases it is the only definitive artifact, because over the time the code has diverged from the original architecture and design documents. The first task of any reengineering ..."
Abstract
- Add to MetaCart
In Software Reengineering, one of the central artifacts is the source code of the legacy system in question. In fact, in most cases it is the only definitive artifact, because over the time the code has diverged from the original architecture and design documents. The first task of any
C.: Reasoning-based techniques for dealing with incomplete business process execution traces
- In: 13th Conf. of Italian Association for Artificial Intelligence (AI*IA). Volume 8249 of LNCS
, 2013
"... Abstract. The growing adoption of IT systems to support business activities, and the consequent capability to monitor the actual execution of business processes, has brought to the diffusion of useful business analysis monitoring (BAM) tools, and of reasoning services standing on top of them. Howev ..."
Abstract
-
Cited by 4 (1 self)
- Add to MetaCart
. The approach is implemented in a Java prototype application; our experiments on two non-trivial case studies show the promising potential of the approach, and point to directions of extensions.
Medienzentrum der TU Bergakademie FreibergRound-trip Engineering for 3D Applications: Models and Transformations
"... Abstract. 3D development is an interdisciplinary process involving different developer groups, i.e. 3D content designers and programmers, who produce very different kinds of code artifacts, i.e. the graphical 3D objects and the application logic. In order to ensure the consistency between these code ..."
Abstract
- Add to MetaCart
are generated that in turn are converted to source code for 3D objects and program logic. A persistent intermediate model serves as central data structure for the non-simultaneous synchronization of the various models and code artifacts. This contribution provides a detailed account of the different models
and M.Soden “Significant Productivity Enhancement through Model Driven Techniques: A Success Story
- Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06) 0-7695-2558-X/06 2006. 1194 Academy of Science, Engineering and Technology 41 2010
"... This paper describes the automation and optimization of the software development process of NTT Data. The development process defines the business modeling, requirement capturing as well as, system planning and implementation activities to be carried out by the development project members. The targe ..."
Abstract
-
Cited by 4 (0 self)
- Add to MetaCart
. The target systems of this development process are large web based information systems implemented by leveraging Java/Java EE 5 technologies. The automation and optimization of that process was achieved by the application of model driven techniques, mainly the integration of development tools via a Meta
Probe: Visualizing Algebraic Transformations in the GenBorg Generative Software Environment
, 2001
"... Software is becoming increasingly pervasive and complex. The greatest challenge for the industry today is how to produce more code without compromising quality or cost. GenBorg is a programming paradigm whose answer is to scale the units of reuse from components of individual applications to compone ..."
Abstract
- Add to MetaCart
to components of application suites (e. g., MS O#ce). While traditional approaches trade size of code units for flexibility, GenBorg uses techniques from generative programming and feature-oriented programming in order to provide models that instantiate code and non-code artifacts of customizable application
Reusing Metadata Across Components, Applications, and Languages
"... Among the well-known means to increase programmer productivity and decrease development effort is systematic software reuse. Although large scale reuse remains an elusive goal, programmers have been successfully reusing individual software artifacts, including components, libraries, and specificatio ..."
Abstract
- Add to MetaCart
, and specifications. One software artifact that is not amenable to reuse is metadata, which has become an essential part of modern software development. Specifically, mainstream metadata formats, including XML and Java 5 annotations, are not amenable to systematic reuse. As a result, software that uses metadata
An Automated Approach for Software Bug Classification
"... Abstract:- Open source projects for example Eclipse and Firefox have open source bug repositories. User reports bugs to these repositories. Users of these repositories are usually non-technical and cannot assign correct class to these bugs. Triaging of bugs, to developer, to fix them is a tedious an ..."
Abstract
- Add to MetaCart
Abstract:- Open source projects for example Eclipse and Firefox have open source bug repositories. User reports bugs to these repositories. Users of these repositories are usually non-technical and cannot assign correct class to these bugs. Triaging of bugs, to developer, to fix them is a tedious
Results 1 - 10
of
14
