138 search results - page 13 / 28 » Integrating Formal Methods with Model-Driven Engineering |
EUROMICRO
2006
IEEE
15 years 4 months ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
COMPSAC
2002
IEEE
15 years 3 months ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
83
Voted
SEKE
2004
Springer
15 years 3 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
105
click to vote
IWPC
2007
IEEE
15 years 4 months ago
2007
IEEE
The paper addresses the problem of concept location in source code by presenting an approach which combines Formal Concept Analysis (FCA) and Latent Semantic Indexing (LSI). In th...
DEXAW
2003
IEEE
15 years 3 months ago
2003
IEEE
A challenging task in security engineering concerns the specification and integration of security with other requirements at the top level of requirements engineering. Empirical ...