Results 11 to 20 of about 86,663 (296)
Steps Towards a Method for the Formal Modeling of Dynamic Objects [PDF]
, 1991 Fragments of a method to formally specify object-oriented models of a universe of discourse are presented. The task of finding such models is divided into three subtasks, object classification, event specification, and the specification of the life cycle
Wieringa, Roel
core +13 more sources
Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
Scientific Annals of Computer Science, 2020 The notion of a most general algebraic specification of an arithmetical datatype of characteristic zero is introduced. Three examples of such specifications are given. A preference is formulated for a specification by means of infinitely many equations
Jan A. Bergstra
doaj +1 more source
Formal refinement of extended state machines [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually) translated into a global abstract formal specification. This translation is especially difficult to achieve.
Thomas Fayolle +3 more
doaj +1 more source
Deriving semantics from WS-BPEL specifications of parallel business processes on an example [PDF]
Компьютерные исследования и моделирование, 2015 WS-BPEL is a widely accepted standard for specification of business distributed and parallel processes. This standard is a mismatch of algebraic and Petri net paradigms.
Vladimir Dimitrov
doaj +1 more source
The foundational legacy of ASL [PDF]
, 2015 . We recall the kernel algebraic specification language ASL and outline its main features in the context of the state of research on algebraic specification at the time it was conceived in the early 1980s. We discuss the most significant new ideas in ASL
Sannella, Donald, Tarlecki, Andrzej
core +2 more sources
On the Modeling and Verification of Collective and Cooperative Systems
Frontiers in Robotics and AI, 2022 The formal description and verification of networks of cooperative and interacting agents is made difficult by the interplay of several different behavioral patterns, models of communication, scalability issues.
Alessandro Aldini
doaj +1 more source
A Software Development Model for the Automatic Generation of Classes
CLEI Electronic Journal, 2018 In this paper it is presented a software development model based on transformations that allows to derive, in an automatic way, classes in object-oriented programming languages (Ada 95, C++, Eiffel and Java) starting from formal specifications.
Eugenio Scalise, Nancy Zambrano
doaj +1 more source
Observation and abstract behaviour in specification and implementation of state-based systems [PDF]
, 2001 Classical algebraic specification is an accepted framework for specification. A criticism which applies is the fact that it is functional, not based on a notion of state as most software development and implementation languages are.
Pahl, Claus
core +2 more sources
Revista Facultad de Ingeniería Universidad de Antioquia, 2012 The specification and formal verification of distributed systems is usually a complex task. It requires extensive knowledge of algorithm theory and modeling of distributed or concurrent systems.
Jorge Cortés Galicia +2 more
doaj +1 more source
Algebraic specification of documents
Theoretical Computer Science, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
José Carlos Ramalho +2 more
openaire +3 more sources