1481 search results - page 227 / 297 » Enriching the Software Development Process by Formal Methods |
108
click to vote
ICSM
2002
IEEE
15 years 4 months ago
2002
IEEE
Over the past years it has become evident that the benefits of object orientation warrant the design and development of reengineering methods that aim to migrate legacy procedural...
110
click to vote
CSMR
2004
IEEE
15 years 3 months ago
2004
IEEE
In order to lower the risk, reengineering projects aim at high reuse rates. Therefore, tasks like architectural restructuring have to be performed in a way that developed new syst...
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
115
click to vote
EKAW
2004
Springer
15 years 5 months ago
2004
Springer
In order to enable knowledge sharing and reuse among software entities, artificial intelligence researchers have proposed to develop ‘ontologies’ as the explicit formal specifi...
ER
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents a methodology to derive views over a relational database by applying a sequence of appropriately defined operations to the global schema. Such tailoring and com...