3765 search results - page 41 / 753 » Formal Methods for Systems Engineering Behavior Models |
DFG
2004
Springer
14 years 12 days ago
2004
Springer
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
The phenomenon of sponsored search advertising is gaining ground as the largest source of revenues for search engines. Firms across different industries have are beginning to adop...
ISOLA
2004
Springer
14 years 2 months ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
COMPSAC
2009
IEEE
14 years 18 days ago
2009
IEEE
There is no clear distinction between service-oriented systems (SOS) and component-based systems (CBS). However, there are several characteristics that could let one consider SOS ...
WISA
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, we, as well as Eskin, Lee, Stolfo [7] propose a method of prediction model. In their method, the program was characterized with both the order and the kind of system...