A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Interacting with Haggis: Implementing Agent Based Specifications in a Functional Style
[chapter]
1997
Human-Computer Interaction INTERACT '97
Preserved Fulltext
To demonstrate this, we make use of Haggis, a concurrent functional graphical toolkit. We describe the development of a highly interactive game, from specification to execution, using this system. ...
Fonnal specifications, of interactive systems, provide a precise and concise means of representing and reasoning about interactive systems. ...
The me too system was used for executing VDM (Vienna Development Model) specifications, and was based within Lisp (Alexander and Jones, 1990) . ...
doi:10.1007/978-0-387-35175-9_24
fatcat:ybrzq7py6nhzldrr3zjp3t42xu
Towards Integrated Cognitive and Interface Analysis
2001
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper proposes LOTOS as a syndetic modelling language. We highlight four reasons why syndetic modelling is so difficult and show how the LOTOS notation addresses each of these four reasons. 1 ...
A particularly powerful way to perform such analysis is through syndetic modelling, where both the interface and the chosen cognitive model are described in the same specification framework; allowing the ...
There is a spectrum of available modelling techniques, see figure 5 , with the two extremes being programming based approaches, such as those typically used to implement cognitive models, e.g. the LISP ...
doi:10.1016/s1571-0661(04)80896-x
fatcat:nvyhrrlsc5bkzcfsgnagfhmzje
Page 5142 of Mathematical Reviews Vol. , Issue 85k
[page]
1985
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Carchiolo, A. Faro, F. Minissale and G. Scollo, Some topics in the design of the specification language LOTOS (pp. 47-58); Ana R. ...
Under this assumption, a method of computing network parameters is presented which is based on solving iteratively a system of nonlinear equations for the unknown nodal flow rates. ...
Revisiting sequential composition in process calculi
2015
Journal of Logical and Algebraic Methods in Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
An alternative approach is proposed, based on a symmetric binary operator and write-many variables. ...
Feedback gained from university lectures and real-life case studies shows a high acceptance by computer-science students and industry engineers. ...
Milner, A Calculus of Communicating Systems, Vol. 92 of Lecture Notes in Computer Science, Springer, 1980. ...
doi:10.1016/j.jlamp.2015.08.001
fatcat:c3jyidbbvnacvf7gmovonpc4j4
Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages
[chapter]
2018
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Many specification and programming languages have adopted term rewriting and pattern matching as a key feature. ...
To provide for an objective comparison, we developed an open, experimental platform based upon the ideas of the three Rewrite Engines Competitions (2006, 2008, and 2010), which we significantly enhanced ...
The user time also includes the time needed to parse input files, the time taken by the C compiler for tools that generate C code, the time taken by the Lisp interpreter for tools that generate Lisp code ...
doi:10.1007/978-3-319-99840-4_1
fatcat:zt5x4mhun5fdhfbkra6fleoztq
The term processor generator Kimwitu
[chapter]
1997
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
It has already been mentioned that trees or terms are a basic common concept in language-based software. ...
It is a 'best of both worlds' approach, where one uses a high-level language where possible, and a low-level language where necessary. ...
This is the core functionality of two large tool environments that have been realized using Kimwitu: the LOTOS [ISO89] tool environment LITE[BvV95] and the SDL Tool environment OpenSITE [Hum] . ...
doi:10.1007/bfb0035383
fatcat:2b42s3iqi5afzfilwutuworbna
A front-end generator for verification tools
[chapter]
1995
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This paper describes the Process Algebra Compiler (PAC), a front-end generator for process-algebragbased verification tools. ...
Given descriptions of a process algebra's concrete and abstract syntax and semantics as structural operational rules, the PAC produces syntactic routines and functions for computing the semantics of programs ...
Thus each relation includes an agent environment and an id_set environment argument. ...
doi:10.1007/3-540-60630-0_8
fatcat:ob6mh6y6y5h4hmmxsqrxejghhu
Dialog Modelling with Interactors and UML Statecharts – A Hybrid Approach
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The DiaMODL dialog modelling is a hybrid language, based on the Pisa interactor abstraction and UML Statecharts. ...
By combining a dataflow-oriented language with one focussing on behavior, we get a flexible notation which may be used for different purposes, interaction styles and platforms. ...
First, we have used the Common Lisp-based CLIM and Garnet toolkits for building an interactor-based GUI-builder, with support for template-based composition of interactor models and live CIOs inside the ...
doi:10.1007/978-3-540-39929-2_24
fatcat:rzwzup5rizfnrbiubpw4n2g5gm
Formal support for the ELLA hardware description language
[chapter]
1995
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In particular, a novel symbolic verification method can be used with the process terms generated from ELLA-text, giving a high level and efficient means of verifying the correctness of ELLA designs. ...
A formal semantics for ELLA is given using various semantic representations, including state machines and process algebraic terms, so that different formal analysis methods can be used. ...
A prototype of the compilation, simulation and verification tools based on the formal semantic definitions, is implemented in Common Lisp, and embedded into a hardware design environment, containing text ...
doi:10.1007/3-540-60385-9_14
fatcat:hadnepoi6vagdby4pnmq2xojyi
Formal Specification and Verification of Communication in Network-On-Chip: An Overview
2018
International Journal of Recent Contributions from Engineering, Science & IT
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Network-On-Chip (NOC) is an emerging paradigm to surmount traditional bus based Systems-On-Chip (SOC) limits especially scalability and communication performances. ...
A NOC includes many applications that can execute concurrently. This situation may show some undesirable behaviors such as deadlock, livelock, starvation, etc. ...
Lotos LOTOS (Language of Temporal Ordering Specification) an ISO standard, is an algebraic language based on temporal ordering of events. LOTOS is used for protocol specification. ...
doi:10.3991/ijes.v6i4.9416
fatcat:7fljmcayfvdgpd7v3d4vt7lkvu
Introducing OBJ
[chapter]
2000
Advances in Formal Methods
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
In addition, there is a Franz Lisp OBJ2 done at Washington State University 143]. UMIST-OBJ has been made available as a proprietary software product from Gerrard Software, under the name ObjEx. ...
OBJ is a wide spectrum rst-order functional language that is rigorously based on (order sorted) equational logic and parameterized programming, supporting a declarative style that facilitates veri cation ...
is evaluated in a Lisp environment with Lisp variables having names corresponding to the OBJ variables (as usual in Common Lisp, the case, upper or lower, of variables in the Lisp expression is ignored ...
doi:10.1007/978-1-4757-6541-0_1
fatcat:p43wswo5drag7fvuxwkkchq4ue
Lotus - a Procedural Environment
1976
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
A LOTOS Manual and the complete MTS-LISP implementation of LOTOS are included as appendices. ...
environment where variables can assume only executable values, and may be interrogated only through their execution. ...
However,
the
LISP
implementation
of LOTOS allows new
primitives to be established easily, as convenience dictates.
5-. ...
doi:10.14288/1.0051783
fatcat:w2azifwy6zc2nidnnw373anvte
Feature interaction: the security threat from within software systems
2008
Progress in Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Usually, this problem manifests itself as conflicting actions of features on a shared context. ...
security requirements by feature interactions is not different from other types of requirements -what differs is the impact of such violation; and (2) feature interaction detection approaches can be used as a ...
In the approach proposed by Hall [35] , a language similar to LISP is used to specify foreground and background models. ...
doi:10.2201/niipi.2008.5.8
fatcat:kf4zm275jbgazefloqmln6rt7u
A Mathematical Framework for Superintelligent Machines
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
It distinguishes which formulas are equivalent, entailed, or unrelated, based on a simplification algorithm that may be thought of as producing a unique pair of Karnaugh maps that describe the rough sets ...
It can design and debug programs that satisfy given input/output constraints, based on its ontology of previously learned programs. ...
Nested ":" infix operators can be used for a dynamically nested Lisp-like environment of names and their values. ...
arXiv:1804.03301v1
fatcat:nofcd7pfkjhmdhtiihkebostbu
An automated approach to specification animation for validation
2007
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We present a case study applying the tool to animate a formal specification for a library system and evaluate its result. ...
The tool extracts automatically functional scenarios from a specification and generates a message sequence chart for each of them for a syntactic level analysis. ...
The tool is known as ANGOR, and it offers an environment based on a flexible architecture. ...
doi:10.1016/j.jss.2006.12.540
fatcat:ieellpp3ezd3pf6ikjzrcp7nl4
« Previous
Showing results 1 — 15 out of 79 results