448 search results - page 18 / 90 » A Meta-Method for Formal Method Integration |
FMICS
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
KCAP
2009
ACM
15 years 6 months ago
2009
ACM
Ontologies are conceptual models of particular domains, and domains can be modeled differently, representing different opinions, beliefs or perspectives. In other terms, ontolog...
EUROMICRO
2006
IEEE
15 years 5 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 ...
90
Voted
SEKE
2004
Springer
15 years 5 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...
TAP
2008
Springer
14 years 11 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...