scholarly journals CoFI: The common framework initiative for algebraic specification and development

1997 ◽  
pp. 115-137 ◽  
Author(s):  
Peter D. Mosses
Keyword(s):  
Algebraic Specification ◽  
Common Framework ◽  
The Common

scholarly journals CoFI: The Common Framework Initiative for Algebraic Specification and Development

1997 ◽  
Vol 4 (48) ◽  
Author(s):  
Peter D. Mosses
Keyword(s):  
Formal Semantics ◽  
Reactive Systems ◽  
Tool Support ◽  
Algebraic Specification ◽  
Specification Languages ◽  
Object Based ◽  
Common Framework ◽  
Verification Tools ◽  
The Common ◽  
Programming Paradigms

An open collaborative effort has been initiated: to design a<br />common framework for algebraic specification and development of software. The rationale behind this initiative is that the lack of such a common framework greatly hinders the dissemination and application of research<br />results in algebraic specification. In particular, the proliferation<br />of specification languages, some differing in only quite minor ways from each other, is a considerable obstacle for the use of algebraic methods in industrial contexts, making it difficult to exploit standard examples, case studies and training material. A common framework with widespread acceptance<br />throughout the research community is urgently needed.<br />The aim is to base the common framework as much as possible on a critical selection of features that have already been explored in various contexts. The common framework will provide a family of specification<br />languages at different levels: a central, reasonably expressive language, called CASL, for specifying (requirements, design, and architecture of) conventional software; restrictions of CASL to simpler languages, for use primarily in connection with prototyping and verification tools; and extensions<br />of CASL, oriented towards particular programming paradigms,<br />such as reactive systems and object-based systems. It should also be possible<br />to embed many existing algebraic specification languages in members of the CASL family. A tentative design for CASL has already been proposed. Task groups<br />are studying its formal semantics, tool support, methodology, and other aspects, in preparation for the finalization of the design.

Using Game Frameworks to Teach Computer Programming

2017 ◽  
pp. 221-236
Author(s):  
Alberto Simões
Keyword(s):  
Programming Languages ◽  
Computer Games ◽  
Computer Programming ◽  
Object Oriented Programming ◽  
Multidimensional Arrays ◽  
Computer Scientists ◽  
Common Framework ◽  
The Common ◽  
Algebraic Operations ◽  
Art Game

Teaching computer programming is an important task in the formation of computer scientists. Being a subject taught in the first years of student degrees, need to properly motivate students, so they try, at home, to learn by themselves, complementing that way their classes. This chapter proposes an approach to computer programming teaching based on the construction of videogames, using state of the art game frameworks. The author will show how the task of writing a game using a common framework deals with the basic programming concepts that are usually taught on a first course on computer programming, namely on object oriented programming languages like C# or Java: algebraic operations with variables, methods declaration, objects definition, objects hierarchy and multidimensional arrays. As it will be shown, even the common order of concepts presentation during the course can be kept, although applying them to computer games instead of the usually requested exercises.

Games Played on Networks

2016 ◽  
pp. 82-112 ◽  
Author(s):  
Yann Bramoullé ◽  
Rachel Kranton
Keyword(s):  
Technology Adoption ◽  
Public Goods ◽  
Peer Effects ◽  
Analytical Framework ◽  
Individual Heterogeneity ◽  
Local Public Goods ◽  
Largest Eigenvalue ◽  
Common Framework ◽  
Game Theoretic ◽  
The Common

This chapter studies games played on fixed networks. These games capture a wide variety of economic settings, including local public goods, peer effects, and technology adoption. The chapter establishes a common analytical framework to study a wide game class. The authors review and advance existing results by showing how they tie together within the common framework. The chapter discusses the game-theoretic underpinnings of key notions including Bonacich centrality and the lowest and largest eigenvalue. The text discusses the interplay of individual heterogeneity and the network and develops a new notion—interdependence—to analyze how a shock to one agent affects the action of another agent.

Casl — the Common Algebraic Specification Language

2007 ◽  
pp. 241-298 ◽  
Author(s):  
Till Mossakowski ◽  
Anne E. Haxthausen ◽  
Donald Sannella ◽  
Andrezj Tarlecki
Keyword(s):  
Specification Language ◽  
Algebraic Specification ◽  
The Common

scholarly journals ON ELEVATING FREE-FERMION Z2×Z2 ORBIFOLDS MODELS TO COMPACTIFICATIONS OF F THEORY

2000 ◽  
Vol 15 (09) ◽  
pp. 1345-1362 ◽  
Author(s):  
P. BERGLUND ◽  
J. ELLIS ◽  
A. E. FARAGGI ◽  
D. V. NANOPOULOS ◽  
Z. QIU
Keyword(s):  
Singular Points ◽  
Free Fermion ◽  
Gravitational Anomaly ◽  
Elliptic Fibrations ◽  
Common Framework ◽  
The Common ◽  
Six Dimensions

We study the elliptic fibrations of some Calabi–Yau threefolds, including the Z2×Z2 orbifold with (h1,1,h2,1)=(27, 3), which is equivalent to the common framework of realistic free-fermion models, as well as related orbifold models with (h1,1,h2,1)=(51, 3) and (31, 7). However, two related puzzles arise when one considers the (h1,1,h2,1)=(27, 3) model as an F theory compactification to six dimensions. The condition for the vanishing of the gravitational anomaly is not satisfied, suggesting that the F theory compactification does not make sense, and the elliptic fibration is well defined everywhere except at four singular points in the base. We speculate on the possible existence of N=1 tensor and hypermultiplets at these points which would cancel the gravitational anomaly in this case.

scholarly journals CASL: A Guided Tour of its Design

1998 ◽  
Vol 5 (43) ◽  
Author(s):  
Peter D. Mosses
Keyword(s):  
Modular Design ◽  
Expressive Language ◽  
Order Logic ◽  
Algebraic Specification ◽  
Partial Functions ◽  
First Order ◽  
Common Framework ◽  
Verification Tools ◽  
Guided Tour ◽  
Selection Of

Casl is an expressive language for the specification of functional<br />requirements and modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic specification and development. It is based on a critical selection of features that have already been explored in various contexts, including subsorts, partial functions, first-order logic, and structured and architectural<br />specifications. Casl should facilitate interoperability of many existing algebraic prototyping and verification tools.<br /> This guided tour of the Casl design is based closely on a 1/2-day tutorial held at ETAPS'98 (corresponding slides are available from the CoFI archives). The major issues that had to be resolved in the design process are indicated, and all the main concepts and constructs of Casl are briefly explained and illustrated - the reader is referred to the Casl Language Summary for further details. Some familiarity with the fundamental concepts of algebraic specification would be advantageous.

scholarly journals Role of the Philosophy of Law in the process of unifying the legal systems of the members of the European Union in the context of the Common Framework of Reference Project v

2021 ◽  
Vol 39 (68) ◽  
pp. 463-475
Author(s):  
Fursa Svitlana Yaroslavivna ◽  
Kukhniuk Dmitriy Vladimirovich ◽  
Bondar Iryna Vadymivna ◽  
Maliarchuk Liubov Sergiivna ◽  
Derii Olena Olexsandrivna
Keyword(s):  
European Union ◽  
The State ◽  
Necessary Condition ◽  
Legal Systems ◽  
The European Union ◽  
Philosophy Of Law ◽  
Strategic Direction ◽  
Common Framework ◽  
The Common

The study discusses the role of the philosophy of law in the process of unifying legal systems through the prism of the principles of the Draft Common Framework of Reference in Europe. The application of the philosophy of law in unification processes is also a necessary condition for the implementation of these processes about human rights and the sovereign interests of the State, which implements the unification of the legal order. Hence, the issue of European integration determines the strategic direction of the state, and this leads to the unification of law. The study aims to identify the role of the philosophy of law in the processes of unifying the legal systems of the European Union and its importance in the use of principles in these processes, justifying the need to use the philosophy of law in any process of transformation. It is concluded that the philosophy of law is a bridge harmonized with the legal sphere of operation of both individual states and supranational associations.

Sign in / Sign up

Export Citation Format

Share Document