Sciweavers

3837 search results - page 517 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
TSE
2002
88views more  TSE 2002»
15 years 3 months ago
An Operational Process for Goal-Driven Definition of Measures
We propose an approach (GQM/MEDEA) for defining measures of product attributes in software engineering. The approach is driven by the experimental goals of measurement, expressed v...
Lionel C. Briand, Sandro Morasca, Victor R. Basili
132
Voted
SAC
2008
ACM
15 years 3 months ago
Template design and automatic generation of controllers for industrial robots
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with co...
Lenko Grigorov, Karen Rudie, José E. R. Cur...
ENTCS
2010
125views more  ENTCS 2010»
15 years 1 months ago
Concrete Memory Models for Shape Analysis
This paper discusses four store-based concrete memory models. We characterize memory models by the class of pointers they support and whether they use numerical or symbolic offset...
Pascal Sotin, Bertrand Jeannet, Xavier Rival
ENTCS
2010
122views more  ENTCS 2010»
15 years 1 months ago
Efficient Earley Parsing with Regular Right-hand Sides
We present a new variant of the Earley parsing algorithm capable of efficiently supporting context-free grammars with regular right hand-sides. We present the core state-machine d...
Trevor Jim, Yitzhak Mandelbaum
TII
2010
155views Education» more  TII 2010»
14 years 10 months ago
Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard
-This paper deals with refactoring of execution control charts of IEC 61499 basic function blocks as a means to improve the engineering support potential of the standard in develop...
Valeriy Vyatkin, Victor Dubinin