Buscar
Mostrando ítems 21-30 de 29512
Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking
(Open Publishing Association, 2014-02)
Tabular notations, in particular SCR specifications, have proved to be a useful means for formallydescribing complex requirements. The SCR method offers a powerful family of analysis tools, knownas the SCR Toolset, but its ...
Modeling and Specifying Requirements for Cyber-Physical Systems
(Institute Of Electrical And Electronics Engineers, 2013-02)
Cyber-physical systems have to do with a strong interaction between the physical world and a computing system, which should be transparent to an external observer. In this paper, an approach for modeling and specifying ...
Improving lazy abstraction for SCR specifications through constraint relaxation
(John Wiley & Sons Ltd, 2018-03)
Formal requirements specifications, eg, software cost reduction (SCR) specifications, are challenging to analyse using automated techniques such as model checking. Since such specifications are meant to capture requirements, ...
Quality properties evaluation for software requirements specifications : an exploratory analysis
(Universidad ORT, Uruguay, 2018)
Application of Heuristics in Business Process Models to Support Software Requirements Specification
(Scitepress, 2017-01-01)
Requirements Engineering has suffered difficulties caused by communication failures between business and Information Technology teams (IT). The knowledge of the enterprise's business domain is very important for the systems ...
Application of heuristics in business process models to support software requirements specification
(2017-01-01)
Requirements Engineering has suffered difficulties caused by communication failures between business and Information Technology teams (IT). The knowledge of the enterprise's business domain is very important for the systems ...
Specification and design of distributed hard real-time systems
(1995-01-01)
This paper presents an integrated approach for specification and design of software for distributed hard real-time systems. The approach adopts a graph-based model, combined with a pre-run-time scheduling. This gives ...
Analyzing Requirements Engineering for Cloud Computing
(Springer, 2017)
Cloud computing is a business paradigm, where cloud providers offer resources (e.g., storage, computing, network) and cloud consumers use them after accepting a specific service level agreement. Cloud requirements can ...
Automated abstractions for contract validation
(IEEE Computer Society, 2012-01)
Pre/postcondition-based specifications are commonplace in a variety of software engineering activities that range from requirements through to design and implementation. The fragmented nature of these specifications can ...