Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
33
Towards an Open Set of Real-World Benchmarks for Model Queries and Transformations
"... With the growing size and complexity of systems under design, industry needs a generation of Model-Driven Engineering (MDE) tools, especially model query and transformation, with the proven capability to handle large-scale scenarios. While researchers are proposing several technical solutions in thi ..."
Abstract
- Add to MetaCart
With the growing size and complexity of systems under design, industry needs a generation of Model-Driven Engineering (MDE) tools, especially model query and transformation, with the proven capability to handle large-scale scenarios. While researchers are proposing several technical solutions
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
querying, transformations can be used to generate more abstract views on the system’s architecture. This transformation case deals with the creation of a state machine model out of a Java syntax graph. It is derived from a task that originates from a real reengineering project. 1 Objective and Context
Temporal Logic To Query Semantic Graphs Using The Model Checking Method
, 2012
"... Semantic interoperability problems have found their solutions due to the use of languages and techniques from the Semantic Web. The proliferations of ontologies and meta-information have improved the understanding of information and the relevance of search engine responses. However, the constructio ..."
Abstract
- Add to MetaCart
this limitation of the SPARQL query language. To reach this goal, three tools have been developed. The first two tools “RDF2SPIN” and “RDF2NµSMV” are used to transform the Semantic graph into a model written in PROMELA and respectively in NµSMV languages – in order to be understood by the SPIN and respectively
Author manuscript, published in "ICDT (2012) 46-60" Highly Expressive Query Languages for Unordered Data Trees ∗
, 2012
"... We study highly expressive query languages for unordered data trees, using as formal vehicles Active XML and extensions of languages in the while family. All languages may be seen as adding some form of control on top of a set of basic pattern queries. The results highlight the impact and interplay ..."
Abstract
- Add to MetaCart
We study highly expressive query languages for unordered data trees, using as formal vehicles Active XML and extensions of languages in the while family. All languages may be seen as adding some form of control on top of a set of basic pattern queries. The results highlight the impact and interplay
Run-time detection in parallel and distributed systems: Application to safety-critical systems
- In Proceedings of Int'l Conference on Distributed Computing Systems (ICDCS'99
, 1999
"... There is growing interest in run-time detection as parallel and distributed systems grow larger and more complex. This work targets run-time analysis of complex, interactive scientific applications for purposes of attaining scalability improvements with respect to the amount and complexity of the da ..."
Abstract
-
Cited by 13 (6 self)
- Add to MetaCart
of the data transmitted, transformed, and shared among different application components. Such improvements are derived from using database techniques to manipulate data streams. Namely, by imposing a relational model on the data streams, constraints on the stream may be expressed as database queries evaluated
An AmmA/ATL Solution for the GraBaTs 2009 Reverse Engineering Case Study
- In 5th International Workshop on Graph-Based Tools, Grabats
, 2009
"... Abstract. This paper presents a solution to the reverse engineering case study of GraBaTs 2009 implemented using the AtlanMod Transformation Language (ATL), and the AtlanMod Model Management Architecture (AmmA). Two scalability approaches are presented: a classical one, as well as an optimization fo ..."
Abstract
-
Cited by 5 (0 self)
- Add to MetaCart
for multiple queries on the same model. The task showing the genericity of the transformation tool is also solved.
Demand-driven context-sensitive alias analysis for Java
- In ACM SIGSOFT International Symposium on Software Testing and Analysis
, 2011
"... Software tools for program understanding, transformation, verification, and testing often require an efficient yet highly-precise alias analysis. Typically this is done by comput-ing points-to information, from which alias queries can be answered. This paper presents a novel context-sensitive, deman ..."
Abstract
-
Cited by 13 (1 self)
- Add to MetaCart
Software tools for program understanding, transformation, verification, and testing often require an efficient yet highly-precise alias analysis. Typically this is done by comput-ing points-to information, from which alias queries can be answered. This paper presents a novel context
Embrace the Challenges: Software Engineering in a Big Data World
"... Abstract-The design and development of data-intensive software systems-systems that generate, collect, store, process, analyze, query, and visualize large sets of data-is fraught with significant challenges both technical and social. Project EPIC has been designing and developing data-intensive sys ..."
Abstract
- Add to MetaCart
-offs. We highlight the lack of developer support tools for data-intensive systems, the importance of multidisciplinary teams, the use of highly-iterative life cycles, the need for deep understanding of the frameworks and technologies used in data intensive systems, how simple operations transform
Results 1 - 10
of
33
