611 search results - page 37 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
115
Voted
SIGSOFT
2010
ACM
15 years 2 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...
134
Voted
SAC
2010
ACM
15 years 1 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...
111
Voted
KBSE
2005
IEEE
15 years 9 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...
139
Voted
KBSE
2003
IEEE
15 years 9 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...
121
Voted
FASE
2007
Springer
15 years 9 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...