PADL
2004
Springer
13 years 10 months ago
2004
Springer
Message Sequence Charts (MSC) have traditionally been used as a weak form of behavioral requirements in software design; they denote scenarios which may happen. Live Sequence Chart...
EWSA
2004
Springer
13 years 10 months ago
2004
Springer
Software architecture (SA) evaluation is a quality assurance technique that is increasingly attracting significant research and commercial interests. A number of SA evaluation meth...
FASE
2005
Springer
13 years 10 months ago
2005
Springer
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level func...
APN
2005
Springer
13 years 10 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
IWIA
2005
IEEE
13 years 10 months ago
2005
IEEE
Stellar aggregates and correlates alerts from heterogeneous network defense systems, building scenarios and estimating the security risk of the entire scenario. Prior work conside...
EUROMICRO
2005
IEEE
13 years 10 months ago
2005
IEEE
The guaranty of meeting the timing constraints during the design phase of real-time component-based embedded software has not been realized. To satisfy real-time requirements, we ...
COMPSAC
2006
IEEE
13 years 10 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
CSSE
2008
IEEE
13 years 11 months ago
2008
IEEE
We introduce a new CSP operator for modeling scenarios characterised by partial or optional parallelism. We provide examples of such scenarios and sketch the semantics of our oper...