Results 251 to 260 of about 86,663 (296)
Some of the next articles are maybe not open access.
Specification of schedulers with algebraic specification techniques
1982The specification of a class of single resource schedulers is presented. A class of these schedulers is regarded as a parameterized data type whose formal parameter is a scheduling strategy. The specification is given by using the concept of parameterization in algebraic techniques.
Kouichi Wada 0001 +3 more
openaire +1 more source
The algebraic specification column
Bull. EATCS, 2020The paper provides a schematical and compact survey of concepts related to transformations of algebraic specifications. The author distinguishes two main classes of such transformations, namely ``vertical'' and ``horizontal'', where ``horizontal'' means to build up hierarchical specifications from smaller components while ``vertical'' means to go from ...
openaire +1 more source
1996
The application of algebraic specification techniques in the early phases of software development requires a means for specifying views. In this paper we argue for algebraic view specification based on an algebraic concept model. The concept model consists of two parts: a meta model defining the concepts of different views and the relationships between
openaire +1 more source
The application of algebraic specification techniques in the early phases of software development requires a means for specifying views. In this paper we argue for algebraic view specification based on an algebraic concept model. The concept model consists of two parts: a meta model defining the concepts of different views and the relationships between
openaire +1 more source
Transformation technique of algebraic specification
Proceedings., Fourteenth Annual International Computer Software and Applications Conference, 2002A formal transformation process to implement algebraic specification is introduced which relaxes the linear restriction of the algebraic axioms. The formal transformation process can process nonlinear algebraic specification, and it can make the expression of the algebraic specification more flexible and richer.
Liqun Jin, Jiahua Qian
openaire +1 more source
Complexity of algebraic specifications
1990In the field of algebraic specification, the semantics of an equationally specified datatype is given by the initial algebra of the specifications. We show in this paper that in general the theory of the initial algebra of a given set of equations is II 2 0 -complete.
openaire +1 more source
Specification of Finite Effect Algebras
International Journal of Theoretical Physics, 2000zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Foulis, D. J., Greechie, R. J.
openaire +1 more source
Propagating changes in algebraic specifications
Software Engineering Journal, 1991Controlling changes is an important problem in software development. By considering the problem as containing or propagating the ripple effects of an initial change throughout the inter-relations of products, we can formalise mechanisms to deal with the overall effects of a change.
Ataru T. Nakagawa, Kokichi Futatsugi
openaire +1 more source
Towards a Protocol Algebra Based on Algebraic Specifications
2014We sketch some first steps towards the definition of a protocol algebra based on the framework of behavioural algebraic specification. Following the tradition of representing protocols as state machines, we use the notion of Observational Transition System to express them in an executable algebraic specification language such as CafeOBJ.
Iakovos Ouranos, Petros S. Stefaneas
openaire +1 more source
Algebraic specifications of reachable higher-order algebras
1988We propose a way of integrating predefined data type constructions, in particular higher-order function spaces, into the framework of algebraic specifications such that some standard results such as existence of initial and terminal algebras for hierarchical specifications are preserved.
Bernhard Möller +2 more
openaire +1 more source
Visual construction of algebraic specifications
Proceeding 2000 IEEE International Symposium on Visual Languages, 2002Algebraic specifications have a proven record for the development of software that is precise, consistent, complete and unambiguous. However, despite their usefulness there has been limited uptake by software engineers. The authors attribute this apparent discrepancy, at least in part, to a question of usability and understandability.
Duncan S. Neary, Martin R. Woodward
openaire +1 more source