621 search results - page 77 / 125 » Functional and structural properties in the Model-Driven Eng... |
105
click to vote
APSEC
2001
IEEE
15 years 1 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
EUROMICRO
1997
IEEE
15 years 1 months ago
1997
IEEE
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...
WOSP
2010
ACM
14 years 10 months ago
2010
ACM
Quantitative prediction of quality properties (i.e. extrafunctional properties such as performance, reliability, and cost) of software architectures during design supports a syste...
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
100
click to vote
IUI
2005
ACM
15 years 3 months ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...