1005 search results - page 115 / 201 » Formal Software Development in MAYA |
126
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
Existing ADLs (Architecture Description Languages) have an advantage of formally specifying the architecture of component-based systems. But ADLs have not come into extensive use ...
120
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
134
click to vote
MPC
2004
Springer
15 years 9 months ago
2004
Springer
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
163
click to vote
UML
2004
Springer
15 years 9 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
128
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...