Sciweavers

1021 search results - page 174 / 205
» Design of a Specification Language by Abstract Syntax Engine...
Sort
View
ASE
1998
152views more  ASE 1998»
14 years 11 months ago
Apel: A Graphical Yet Executable Formalism for Process Modeling
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
Samir Dami, Jacky Estublier, Mahfoud Amiour
ACMSE
2005
ACM
15 years 1 months ago
Generative approaches for application tailoring of mobile devices
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
Victoria Davis, Jeff Gray, Joel Jones
DBTEL
2001
Springer
117views Database» more  DBTEL 2001»
15 years 3 months ago
Toward Universal Information Models in Enterprise Management
The DMTF’s recent work on management information modeling in the IP world has highlighted that a number of problems are still unsolved in this important area of enterprise manage...
Jean-Philippe Martin-Flatin
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
15 years 4 months ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...
ENTCS
2002
181views more  ENTCS 2002»
14 years 11 months ago
Alias verification for Fortran code optimization
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
Thi Viet Nga Nguyen, François Irigoin