8083 search results - page 350 / 1617 » A Formalization of Software Architecture |
172
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Approaches to enforcing communication integrity in the implementation, exemplified by ArchJava, consider only architectural constraints, without taking into account the late integ...
148
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
This paperpresents the Compaantool that automatically transforms a nestedloopprogram written in Matlab into a processnetwork specification. The processnetworkmodelof computation...
205
click to vote
CASCON
2007
15 years 8 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
164
click to vote
CC
2007
Springer
15 years 10 months ago
2007
Springer
Program refactoring, feature-based and aspect-oriented software synthesis, and model-driven development are disjoint research areas. However, they are all architectural metaprogram...
174
click to vote
SFM
2004
Springer
16 years 2 days ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...