2025 search results - page 182 / 405 » Software performance modelling using PEPA nets |
129
click to vote
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
140
Voted
JCST
2011
14 years 10 months ago
2011
Software defect detection aims to automatically identify defective software modules for efficient software test in order to improve the quality of a software system. Although many...
130
Voted
KBSE
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
141
Voted
CBSE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...
139
Voted
ENTCS
2008
15 years 3 months ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...