• Publications
  • Influence
Challenges and directions in formalizing the semantics of modeling languages
Developing software from models is a growing practice and there exist many model-based tools (e.g., editors, interpreters, debuggers, and simulators) for supporting model-driven engineering. EvenExpand
  • 89
  • 6
  • PDF
Object-oriented natural language requirements specification
  • B. Bryant
  • Computer Science
  • Proceedings 23rd Australasian Computer Science…
  • 31 January 2000
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceeding through the steps ofExpand
  • 42
  • 6
  • PDF
Component-based LR parsing
A language implementation with proper compositionality enables a compiler developer to divide-and-conquer the complexity of building a large language by constructing a set of smaller languages.Expand
  • 12
  • 3
  • PDF
Two-level grammar as an object-oriented requirements specification language
  • B. Bryant, B. Lee
  • Computer Science
  • Proceedings of the 35th Annual Hawaii…
  • 7 January 2002
Two-level grammar (TLG) is proposed as an object-oriented requirements specification language with a natural language (NL) style but sufficiently formal to allow automatic transformation of the TLGExpand
  • 75
  • 2
  • PDF
MARS: A metamodel recovery system using grammar inference
Domain-specific modeling (DSM) assists subject matter experts in describing the essential characteristics of a problem in their domain. When a metamodel is lost, repositories of domain models canExpand
  • 62
  • 2
  • PDF
Can a parser be generated from examples?
One of the open problems in the area of domain-specific languages is how to make domain-specific language development easier for domain experts not versed in a programming language design. PossibleExpand
  • 32
  • 2
  • PDF
Entropy-Driven Parameter Control for Evolutionary Algorithms
Every evolutionary algorithm needs to address two important facets: exploration and exploitation of a search space. Evolutionary search must combine exploration of the new regions of the space withExpand
  • 18
  • 2
  • PDF
SpeechClipse: an Eclipse speech plug-in
Much has been accomplished through the years to enhance the capabilities of individuals that are physically challenged. The goal of computer-assisted adaptive technology is to support the physicallyExpand
  • 14
  • 2
  • PDF
Lexical Ambiguity in Tree Adjoining Grammars
Abstract These are at least two ways of handling lexical ambiguity in a tree adjoining grammar. One of them seems to be computationally intractable. The other is computationally efficient. This paperExpand
  • 8
  • 2
Denotational semantics for program analysis
Syntax P : = K Program K : := begin D; S end Block D : := D 1 ; D 2 I var I I const I= N [ proc I (I 1 , . ., Iq) = S Declaration S : := S i ; S 2 I read I I write E I I := E Statemen t I call I (E 1Expand
  • 3
  • 2