611 search results - page 37 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
100
click to vote
SAC
2010
ACM
14 years 9 months ago
2010
ACM
Software Product Line (SPL) Engineering has to deal with interrelated, complex models such as feature and architecture models, hence traceability is fundamental to keep them consi...
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
During software maintenance, some non-functional properties may be lost. This is due to the lack of an explicit definition of their links with the corresponding architectural choi...
104
click to vote
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
FASE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...