Sciweavers

313 search results - page 45 / 63
» WebDSL: A Case Study in Domain-Specific Language Engineering
Sort
View
KBSE
2007
IEEE
14 years 1 months ago
Test suite reduction and prioritization with call trees
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
Adam M. Smith, Joshua Geiger, Gregory M. Kapfhamme...
BDIM
2008
IEEE
185views Business» more  BDIM 2008»
14 years 2 months ago
Addressing the impact of business process changes on software user interfaces
—This paper defines an approach to maintain the work of business process analysts aligned with the work of UI designers. With this approach, models are derived from each other an...
Kênia Soares Sousa, Hildeberto Mendonç...
AGTIVE
2007
Springer
14 years 1 months ago
Using Graph Transformation to Support Collaborative Ontology Evolution
In collaborative ontology engineering, contexts are key to manage the complexity of different dependency types between ontological artefacts. Instead of being frustrated by out-of...
Pieter De Leenheer, Tom Mens
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
14 years 29 days ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler
ISORC
1998
IEEE
13 years 12 months ago
Object-Oriented Design of Real-Time Telecom Systems
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...
Jean-Marc Jézéquel