12333 search results - page 198 / 2467 » System Level Modelling for Hardware Software Systems |
157
click to vote
DSD
2007
IEEE
16 years 23 days ago
2007
IEEE
In this paper, the methodology for automated design of checker for communication protocol testing is presented. Based on the level of checking, different design strategies can be ...
1785
click to vote
ICECCS
2008
IEEE
16 years 26 days ago
2008
IEEE
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
156
click to vote
FUIN
2008
15 years 6 months ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
175
click to vote
ICSM
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper is a summary of the author’s thesis that presents a model and an environment for recovering the high level design of legacy software systems based on user defined ar...
190
Voted
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...