39 search results - page 2 / 8 » A Graph Grammar Approach to Software Architecture Verificati... |
DAGSTUHL
2004
13 years 7 months ago
2004
One aim of tool integration is designing an integrated development environment that accesses the data/models of different tools and keeps them consistent throughout a project bein...
EUROMICRO
1996
IEEE
13 years 9 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
ATVA
2010
Springer
13 years 3 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
AGTIVE
1999
Springer
13 years 10 months ago
1999
Springer
A suitable software architecture –for example in the area of distributed application– can be composed of known-to-work solutions. These are also known as design patterns. Howev...
BIRTHDAY
2008
Springer
13 years 7 months ago
2008
Springer
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...