Sciweavers

8083 search results - page 72 / 1617
» A Formalization of Software Architecture
Sort
View
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
15 years 5 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, ...
101
Voted
RIVF
2007
15 years 2 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
92
Voted
TASE
2007
IEEE
15 years 6 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
108
Voted
JOT
2008
92views more  JOT 2008»
15 years 15 days 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...
71
Voted
ICFEM
2007
Springer
15 years 6 months ago
Formalizing SANE Virtual Processor in Thread Algebra
Thuy Duong Vu, Chris R. Jesshope