Attempto Controlled English - Not Just Another Logic Specification Language

No abstract is available for this paper.

• Publication year

  1998

• Venue

  International Workshop/Symposium on Logic-based Program Synthesis and Transformation

• Publication date

  1998-06-15

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/3-540-48958-4_1
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• When temporal terms belie conceptual order

  1998cited by this paper
• Specifications are necessarily informal or: Some more myths of formal methods

  1998cited by this paper
• Context as a Spurious Concept

  1997cited by this paper
• Attempto Controlled English (ACE)

  1996cited by this paper
• Variants of the Event Calculus

  1995cited by this paper
• Ten Commandments of Formal Methods

  1995cited by this paper
• A Method for Controlling the Production of Specifications in Natural Language

  1995cited by this paper
• Software requirements and specifications - a lexicon of practice, principles and prejudices

  1995cited by this paper
• The Core Language Engine

  1994cited by this paper
• Seven More Myths of Formal Methods

  1994cited by this paper
• GULP 3.1: An extension of Prolog for unification-based grammar

  1994cited by this paper
• Direct deductive computation on discourse representation structures

  1994cited by this paper
• From Discourse to Logic - Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory

  1993cited by this paper
• Dealing with Ambiguities by Underspecification: Construction, Representation and Deduction

  1993influential reference
• Specifications are (preferably) executable

  1992cited by this paper
• Structural Ambiguity and Lexical Relations

  1991cited by this paper
• A specifier's introduction to formal methods

  1990cited by this paper
• Logic programming: systematic program development

  1990cited by this paper
• Seven myths of formal methods

  1990cited by this paper
• Events in the Semantics of English: A Study in Subatomic Semantics

  1990cited by this paper
• On Formalism in Specifications

  1985cited by this paper
• A 15 Year Perspective on Automatic Programming

  1985cited by this paper
• A Perspective on Automatic Programming

  1984cited by this paper

• Towards Shift-Up: A Framework and a Prestudy on High-Value Activities in GenAI Native Software Development

  2025cites this paper
• Advancing Formal Verification: Fine-Tuning LLMs for Translating Natural Language Requirements to CTL Specifications

  2024cites this paper
• Holistic Requirements Analysis For Specifying New Systems For 3D Media Production and Promotion

  2021cites this paper
• Prototyping Controlled Mathematical Languages in Jupyter Notebooks

  2020cites this paper
• Mathematical Software – ICMS 2020: 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings

  2020cites this paper
• GLIF: A Declarative Framework for Symbolic Natural Language Understanding

  2020cites this paper
• Plant Information Modelling, Using Artificial Intelligence, for Process Hazard and Risk Analysis Study

  2019cites this paper
• Software Testing: According to Plan!

  2019cites this paper
• Formal reasoning over class models using TOMM

  2019cites this paper
• Controlled natural language with temporal features

  2018influential citation
• Temporal controlled natural language for formal specification

  2018cites this paper
• Towards automatic translation of social network policies into controlled natural language

  2018cites this paper
• Contribution de la linguistique de corpus à la constitution de langues contrôlées pour la rédaction technique : l'exemple des exigences de projets spatiaux

  2018cites this paper
• Chaudron: Extending DBpedia with Measurement

  2017cites this paper
• Creating Story-Based Serious Games Using a Controlled Natural Language Domain Specific Modeling Language

  2017influential citation
• A Linguistic-Based Systematic Approach to Complex System Dynamics and its Application to E-government Introduction in Zanzibar

  2017cites this paper
• Opening Access To Practice-based Evidence in Clinical Decision Support Systems with Natural Query Language

  2017cites this paper
• An Approach for Representing Answer Sets in Natural Language

  2017cites this paper
• Transformation of User Requirements in UML Diagrams

  2017cites this paper
• Survey of works that transform requirements into UML diagrams

  2016cites this paper
• Generating Petri Net-Based Behavioral Models From Textual Use Cases and Application in Railway Networks

  2016cites this paper
• A Framework for Semantic Effect Annotation of Business Process Models

  2016influential citation
• Controlled Natural Language

  2016influential citation
• Human-like Natural Language Generation Using Monte Carlo Tree Search

  2016cites this paper
• Using CNL for Knowledge Elicitation and Exchange Across Story Generation Systems

  2016cites this paper
• Asking Data in a Controlled Way with Ask Data Anything NQL

  2016cites this paper
• Mining Knowledge in Storytelling Systems for Narrative Generation

  2016influential citation
• Using a Controlled Natural Language for Specifying the Narratives of Serious Games

  2015influential citation
• DeNom: a tool to find problematic nominalizations using NLP

  2015cites this paper
• Automatic generation of computable implementation guides from clinical information models

  2015cites this paper
• Cognitum Ontorion: Knowledge Representation and Reasoning System

  2015cites this paper
• The Use of Controlled Vocabularies and Structured Expressions in the Assurance of CPS

  2014cites this paper
• RECAA - Werkzeugunterstützung in der Anforderungserhebung

  2014cites this paper
• Application of Ontologies in Identifying Requirements Patterns in Use Cases

  2014cites this paper
• Generating Explanations for Pro-active Assistance from Formal Action Descriptions

  2013cites this paper
• Pre-Processing MRSes

  2013cites this paper
• A Method of Inquiring Ontology with Semantic Templates

  2013cites this paper
• Concepts to capture Relations between Project Documents using Ontologies

  2013cites this paper
• Interpreting Spatiotemporal Expressions from English to Fuzzy Logic

  2013cites this paper
• Automated Reasoning Embedded in Question Answering

  2013cites this paper
• A Pilot Experiment in Knowledge Authoring as Dialogue

  2013cites this paper
• Nuanced term-matching to assist in compositional safety assurance

  2013cites this paper
• RSL-IL: An interlingua for formally documenting requirements

  2013influential citation
• Semantic rules representation in controlled natural language in FluentEditor

  2013influential citation
• From requirements to UML models and back: how automatic processing of text can support requirements engineering

  2013cites this paper
• Controlled Natural Language

  2012influential citation
• The COSMO Solution to the SWS Challenge Mediation Problem Scenarios: An Evaluation

  2012cites this paper
• Portuguese Controlled Language: Coping with Ambiguity

  2012cites this paper
• Spatiotemporal Extensions to a Controlled Natural Language

  2012cites this paper
• Intégration des activités de preuve dans le processus de développement de logiciels pour les systèmes embarqués. (Integrating Formal Verification Techniques into Software Development Process for Embedded Systems)

  2012cites this paper
• A GENERAL ARCHITECTURE TO ENHANCE WIKI SYSTEMS WITH NATURAL LANGUAGE PROCESSING TECHNIQUES

  2012cites this paper
• Ontology-aided software engineering

  2012cites this paper
• RSLingo: An information extraction approach toward formal requirements specifications

  2012cites this paper
• A Principled Approach to Grammars for Controlled Natural Languages and Predictive Editors

  2012cites this paper
• Obtaining Formal Requirements Representations with the RSLingo Approach

  2012cites this paper
• Using Semantic Relatedness and Locality for Requirements Elicitation Guidance

  2012cites this paper
• Integrating ontologies, model driven, and CNL in a multi-viewed approach for requirements engineering

  2011influential citation
• CONTROLLED ENGLISH INTERFACE FOR KNOWLEDGE BASES

  2011influential citation
• Controlled English interface for knowledge bases

  2011influential citation
• Specifying events and their effects in controlled natural language

  2011cites this paper
• Generating model-based test cases from natural language requirements for space application software

  2011cites this paper
• Explanation-aware Computing ExaCt 2011

  2011cites this paper
• Use Case Driven Extension of ProjectIT-RSL to Support Behavioral Concerns

  2011cites this paper
• Integration of the Controlled Language ACE to the Amine Platform

  2011cites this paper
• Formalization and validation of a subset of the European Train Control System

  2010cites this paper
• Descriptive Phrases: Understanding Natural Language Metadata

  2010cites this paper
• Working with Events and States in PENG Light

  2010cites this paper
• Automated Detection of Language Issues Affecting Accuracy, Ambiguity and Verifiability in Software Requirements Written in Natural Language

  2010cites this paper
• Modeling Object Oriented Systems via Controlled English Verbalization of Description Logic

  2010influential citation
• Using Controlled Natural Language for World Knowledge Reasoning

  2010influential citation
• Quelo : a NL-based intelligent query interface

  2010cites this paper
• Wiki Semantics via Wiki Templating

  2010cites this paper
• Concept mapping as a means of requirements tracing

  2010cites this paper
• Computational Complexity of Controlled Natural Languages

  2009cites this paper
• A Controlled Natural Language Approach for Integrating Requirements and Model-Driven Engineering

  2009cites this paper
• Requirements specification using concrete scenarios

  2009cites this paper
• Australasian Language Technology Association Workshop 2009

  2009cites this paper
• Naturalness vs. Predictability: A Key Debate in Controlled Languages

  2009cites this paper
• Natural Language Specification Improvement with Ontologies

  2009cites this paper
• Generating Test Cases for Timed Systems from Controlled Natural Language Specifications

  2009cites this paper
• Controlled natural language for information integration

  2009cites this paper
• An Update on PENG Light

  2009influential citation
• A Comparison of three Controlled Natural Languages for OWL 1.1

  2008cites this paper
• A Combined Similarity Measure for Determining Similarity of Model-based and Descriptive Requirements

  2008cites this paper
• Working for Two: A Bidirectional Grammar for a Controlled Natural Language

  2008cites this paper
• Propel: an approach supporting user guidance in developing precise and understandable property specifications

  2008cites this paper
• Analyzing medical processes

  2008cites this paper
• Meaningful web annotations for humans and machines using controlled natural language

  2008cites this paper
• A Study on Semantic Data Acquisition and Large-scale Data Processing in Electronic Health Record Environment

  2008cites this paper
• Support for Controlled Natural Languages

  2008influential citation
• Writing Support for Controlled Natural Languages

  2008influential citation
• Australasian Language Technology Association Workshop 2016

  2008cites this paper
• Automated formal specification generation and refinement from requirement documents

  2008cites this paper
• Requirements model generation to support requirements elicitation: the Secure Tropos experience

  2008cites this paper
• Integration of RE and MDE paradigms: the ProjectIT approach and tools

  2007cites this paper
• AceRules: Executing Rules in Controlled Natural Language

  2007cites this paper
• A Taxonomy of Verification and Validation of Software Requirement and Specifications

  2007cites this paper
• Ontology-Based Controlled Natural Language Editor Using CFG with Lexical Dependency

  2007cites this paper
• Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces

  2006cites this paper
• SAD as a mathematical assistant - how should we go from here to there?

  2006cites this paper