Results 51 to 60 of about 2,084,052 (380)
Specification and Verification of Context-dependent Services [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Current approaches for the discovery, specification, and provision of services ignore the relationship between the service contract and the conditions in which the service can guarantee its contract.
Naseem Ibrahim +2 more
doaj +1 more source
Specifying collaborative software: a proposal [PDF]
, 1998 The aim of this paper is to illustrate how formal specifications for collaborative interactive systems might be written. It presents a new modelling paradigm for certain systems.
Reeves, Steve
core +2 more sources
Specification Patterns: Formal and Easy
International Journal of Software Engineering and Knowledge Engineering, 2015 Property specification is still one of the most challenging tasks for transference of software verification technology. The use of patterns has been proposed in order to hide the complicated handling of formal languages from the developer. However, this goal is not entirely satisfied. When validating the desired property the developer may have to deal
Fernando Asteasuain, Víctor Braberman
openaire +3 more sources
A formal specification of document processing
Mathematical and Computer Modelling, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Suryanarayana M Mantha +2 more
openaire +2 more sources
Simulation of stevedoring work in the Klaipeda oil terminal
Transport, 2002 The paper presents the approach of developing simulation models of stevedoring work in oil terminal using aggregate approach and simulation system ARENA. Aggregate approach permits to develop formal specification of simulated systems.
Henrikas PraneviÄius, Dalius Makackas
doaj +1 more source
Automated class diagram elicitation using intermediate use case template
IET Software, 2021 Class diagrams, being more illustrative, provide an easier way of understanding software requirements compared to use case descriptions. Both manual and automated methods are used for the extraction of class diagrams from requirements.
Shweta, Ratna Sanyal, Bibhas Ghoshal
doaj +1 more source
A Process Specification Formalism1 [PDF]
Fundamenta Informaticae, 1990 Traditional methods for programming sequential machines are inadequate for specifying parallel systems. Because debugging of parallel programs is hard, due to e.g. non-deterministic execution, verification of program correctness becomes an even more important issue.
Mauw, Sjouke, Veltink, G. J.
openaire +4 more sources
Weighted Modal Transition Systems [PDF]
, 2012 Specification theories as a tool in model-driven development processes of component-based software systems have recently attracted a considerable attention.
Bauer, Sebastian S. +5 more
core +5 more sources
Teaching Formal Models of Concurrency Specification and Analysis
Моделирование и анализ информационных систем, 2015 There is a widespread and rapidly growing interest to the parallel programming nowadays. This interest is based on availability of supercomputers, computer clusters and powerful graphic processors for computational mathematics and simulation. MPI, OpenMP,
N. V. Shilov
doaj +1 more source
IET Software, 2023 The state space explosion restricts the error detection of concurrent software. The abstraction can provide a solution to avoid state space explosion, but it is easy to ignore important details, resulting in inaccurate detection results.
Wenjie Zhong, Jian‐tao Zhou, Tao Sun
doaj +1 more source