Sciweavers

8083 search results - page 72 / 1617
» A Formalization of Software Architecture
Sort
View
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
14 years 27 days 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, ...
RIVF
2007
13 years 9 months ago
On the Role and Application of Ontologies in Information Systems
— Semantic Web research and recent efforts of large software companies have lead to mature technologies that can enable real-life semantic applications. While benefits such as a...
Thanh Tran, Holger Lewen, Peter Haase
TASE
2007
IEEE
14 years 1 months ago
Automating Language Evolution
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
Markus Pizka, Elmar Jürgens
JOT
2008
92views more  JOT 2008»
13 years 7 months ago
A Matching Approach for Object-Oriented Formal Specifications
Software merging is needed at different stages of software development to combine the artifacts created or modified by the parallel work of the different developers involved in th...
Fathi Taibi, Fouad Mohammed Abbou, Md. Jahangir Al...
ICFEM
2007
Springer
14 years 1 months ago
Formalizing SANE Virtual Processor in Thread Algebra
Thuy Duong Vu, Chris R. Jesshope