Search

Your search keyword '"formal languages"' showing total 273 results
Start Over Descriptor "formal languages" Database Gale General OneFile
273 results on '"formal languages"'

1. Shorter paths to graph algorithms

Author

Russling, Martin and Moller, Bernhard

Subjects
Mathematics of Computing, Formal Languages, Algorithm Complexity, Graphs
Published
1994

2. Using term rewriting to verify software

Author

Antoy, Sergio and Gannon, John

Subjects
New Technique, Scientific Research, Software Design, Program Development Techniques, Specifications, Theorem Proving, Software engineering, Formal languages, Computer programming -- Innovations, Automated theorem proving -- Innovations, Software engineering -- Research, Formal languages -- Research
Published
1994

3. Modular verification of data abstractions with shared realizations

Author

Ernst, George W., Hookway, Raymond J., and Ogden, William F.

Subjects
Scientific Research, Modular Programming, Program Development Techniques, New Technique, Abstract Data Types, Software Metrics, Semantics, Specifications, Formal Languages, Software engineering, Computer programming -- Innovations, Abstract data types -- Research, Software engineering -- Research
Published
1994

4. Architecture-directed refinement

Author

Roman, Gruia-Catalin and Wilcox, C. Donald

Subjects
Scientific Research, New Technique, Software Design, Program Development Techniques, Compatibility, Concurrency Control, Specifications, Software engineering, Formal languages, Software engineering -- Research, Formal languages -- Research
Published
1994

5. Object-oriented Case-supported development of information systems

Author

Barros, Oscar

Subjects
Scientific Research, System Design, Models of Computation, Specifications, Formal Languages, Program Development Techniques, Computer-aided software engineering, Object-oriented programming, Information systems, Computer-aided software engineering -- Usage, Object-oriented programming -- Research, Information systems -- Models
Published
1994

6. A really temporal logic

Author

Alur, Rajeev and Henzinger, Thomas A.

Subjects
Timing, Program Logic, Nonnumerical Algorithms, Models of Computation, Formal Languages, Scientific Research, Real-Time System, Linear programming, Logic programming -- Research, Real-time systems -- Research, Linear programming -- Research
Published
1994

8. Software testing based on SDL specifications with save

Author

Gang Luo, Das, Anindya, and Bochmann, Gregor v.

Subjects
Scientific Research, New Technique, Testing, Software Metrics, Protocol, Formal Languages, Data Communications Software, Finite state automata, Programming languages -- Research, Communications software -- Testing, Finite state automata -- Research
Published
1994

9. A formal model for module interconnection languages

Author

Rice, M.D. and Seidman, S.B.

Subjects
Modeling, Scientific Research, Specifications, Formal Languages, Modular Programming, Modularity, Software Design, Software -- Models, Formal languages -- Research
Published
1994

10. On the expressive power of query languages

Author

Schauble, Peter and Wuthrich, Beat

Subjects
Formal Languages, Scientific Research, Specifications, Recursion, Data Base Models, New Technique, Query languages, Data base languages, Object-oriented data bases, Query languages -- Research, Databases -- Innovations, Object-oriented databases -- Models
Published
1994

12. Towards pointer algebra

Author

Moller, Bernhard

Subjects
Algorithm Analysis, Pointers, Formal Languages, Specifications, Scientific Research, New Technique, Algebra, Data Structures, Models
Published
1993

13. Developing formal specifications from informal requirements

Author

Johnson, W. Lewis, Benner, Kevin M., and Harris, David R.

Subjects
Research and Development, Software Design, Specifications, Automation, Program Development Techniques, New Technique, Requirements Analysis, Knowledge-Based System, Computer-aided software engineering, Formal languages, Computer programming -- Innovations, Knowledge-based systems -- Design and construction, Computer-aided software engineering -- Research, Formal languages -- Innovations
Published
1993

15. Defining context-dependent syntax without using contexts

Author

Odersky, Martin

Subjects
Context-Free Grammars, Context-Sensitive Grammars, Formal Languages, Semantics, Syntax, Mathematical Logic, Scientific Research, Models of Computation, Context-sensitive grammars -- Innovations, Context-free grammars -- Innovations, Programming languages -- Research, Mathematical logic -- Models
Published
1993

18. Finite representation of infinite query answers

Author

Chomicki, Jan and Imielinski, Tomasz

Subjects
Question Answering, Algorithm Analysis, Problem Complexity, Algorithm, Mathematical Logic, Formal Languages, Data Base Administration, Artificial Intelligence, Query processing, Query processing -- Research
Published
1993

22. Multiple views of an executable software specification language

Author

Yukuh Tung, Khwaja, Amir A., and Urban, Joseph E.

Subjects
Formal Languages, Software Metrics, Program Development Techniques, New Technique, Scientific Research, Prototype, Modular Programming, Computer programming -- Methods, Program development software -- Research, Formal languages -- Semantics
Published
1993

23. Formally specifying an automated trade execution system

Author

Reck, Martin

Subjects
New Technique, Formal Languages, Specifications, Stock Market, Automation, Securities industry, System Design, Software Metrics, Order Entry, Computer programming -- Methods, Program trading (Securities) -- Design and construction, Stockbrokers -- Technology application
Published
1993

25. Compositional semantics of a real-time prototyping language

Author

Kramer, Bernd, Luqi, and Berzins, Valdis

Subjects
Prototype, Algebraic Languages, Distributed Systems, Formal Languages, Semantics, Real-Time System, Design, Specifications, Programming Language, Programming languages -- Design and construction
Published
1993

26. Applying formal software synthesis

Author

Jullig, Richard K.

Subjects
Methods, New Technique, Interactive Systems, Formal Languages, Prototype, Software Design, Simulation, Automatic programming, Knowledge-Based System, Computer software industry -- Research, Automatic programming -- Methods, Knowledge-based systems -- Research
Published
1993

28. On the type structure of Standard ML

Author

Harper, Robert and Mitchell, John C.

Subjects
Semantics, Theory, Lambda Calculus, Mathematical Logic, Formal Languages, Programming Language, Programming languages -- Design and construction
Published
1993

29. Type reconstruction in the presence of polymorphic recursion

Author

Kfoury, A.J., Tiuryn, J., and Urzyczyn, P.

Subjects
New Technique, Program Development Techniques, Mathematical Logic, Formal Languages, Theory, Recursion, Programming Language, Programming languages -- Design and construction
Published
1993

30. Type inference with polymorphic recursion

Author

Henglein, Fritz

Subjects
Programming Instruction, New Technique, Algorithm, Theory, Recursion, Design, Mathematical Logic, Formal Languages, Programming Language, Programming languages -- Design and construction
Published
1993

31. Toward a rigorous interpretation of ESML - extended systems modeling language

Author

Richter, Gernot and Maffeo, Bruno

Subjects
Concurrency Control, Scientific Research, Data Flow Diagrams, Formal Languages, Modeling of Computer Systems, New Technique, Concurrent programming, Real-Time System, Petri nets, Concurrent programming -- Research, Real-time systems -- Models, Petri nets -- Usage
Published
1993

32. Algebraic methods for interactive proof systems

Author

Lund, Carsten, Fortnow, Lance, Karloff, Howard, and Nisan, Noam

Subjects
Models of Computation, Scientific Research, Mathematical Proofs, Complexity Classes, Interactive Systems, Formal languages, Probabilistic automata, Formal languages -- Research, Probabilistic automata -- Research
Published
1992

33. IP = PSPACE

Author

Shamir, Adi

Subjects
Scientific Research, Mathematical Proofs, Complexity Classes, Algorithm Analysis, Interactive Systems, Formal languages, Probabilistic automata, Computational complexity, Algorithms -- Analysis, Formal languages -- Research, Probabilistic automata -- Research, Computational complexity -- Models
Published
1992

34. Finite state verifiers II: zero knowledge

Author

Dwork, Cynthia and Stockmeyer, Larry

Subjects
Scientific Research, Models of Computation, Complexity Classes, Mathematical Proofs, Interactive Systems, Formal languages, Finite state automata, Probabilistic automata, Computational complexity -- Models, Formal languages -- Research, Finite state automata -- Research, Probabilistic automata -- Research
Published
1992

35. Finite state verifiers: the power of interaction

Author

Dwork, Cynthia and Stockmeyer, Larry

Subjects
Formal Languages, Finite State Automata, Scientific Research, Mathematical Proofs, Verifier, Interactive Systems, Complexity Classes, Models of Computation, Probabilistic automata, Formal languages -- Research, Finite state automata -- Research, Computational complexity -- Research, Probabilistic automata -- Research
Published
1992

36. Grammars and relations

Author

Mark, Leo and Cochrane, Roberta

Subjects
Grammars, Context-Free Grammars, Formal Languages, Applications, Modeling, Query Languages, Data Base Front-End Software, Schema, Relational Data Base Management Systems, DBMS, Database management systems -- Design and construction
Published
1992

37. Learning via queries

Author

Gasarch, William I. and Smith, Carl H.

Subjects
Query Languages, Models of Computation, Formal Languages, Mathematical Logic, Inductive Reasoning, Query Processing, Artificial Intelligence, Query Processing -- Research, Artificial Intelligence -- Research
Published
1992

38. Formal where? Even if you aren't designing an airplane or a spaceship, formal methods can help you create your own defect-free system

Author

Sullo, Gary and Williams, Mike

Subjects
Program Development Techniques, New Technique, Programming Management, Program Errors, Defects, Software Design, Software Engineering, Formal Languages, Mathematical Programming
Abstract

The use of formal methods is one way to ensure defect-free software. Formal methods have been applied to the design of compilers, the validation of NASA firmware, and the testing […]

Published
1992

40. Toward objective, systematic design-method comparisons

Author

Song, Xiping and Osterweil, Leon J.

Subjects
Methods, Scientific Research, Guidelines, Tutorial, Comparison, Software Design, Software Engineering, Modeling, Metalanguage, Formal languages, Quantitative Methods, Linguistic analysis (Linguistics) -- Usage, Formal languages -- Usage
Published
1992

41. Toward a taxonomy of software application domains: history

Author

Glass, Robert L. and Vessey, Iris

Subjects
Applications Programming, Program Development Techniques, History of Computing, Scientific Research, Software Design, Industry Analysis, Software Engineering, Formal Languages, Trends
Published
1992

42. Protocol validation for large-scale applications

Author

Lin, Fuchun Joseph and Liu, Ming T.

Subjects
Protocol, Validation, Large-Scale Systems, Applications, Formal Languages, Modeling, Strategical Design Parameters, Communications software -- Design and construction, Computer network protocols -- Design and construction
Published
1992

44. Requirements validation through viewpoint resolution

Author

Leite, Julio Cesar Sampaio do Prado and Freeman, Paul A.

Subjects
Engineering, Requirements Analysis, Validation, Modeling of Computer Systems, Software Design, Formal Languages, Performance Measurement
Published
1991

45. Prism -- methodology and process-oriented environment

Author

Madhavji, Nazim H. and Shafer, Wilhelm

Subjects
Process Management, Functional Programming, Modeling of Computer Systems, Formal Languages, Methods, Software Design, Product Life Cycle, Metalanguage, Software Engineering
Published
1991

47. Power domain constructions

Author

Heckmann, Reinhold

Subjects
Technology, Control Structures, Semantics, Formal Languages, Nondeterministic Automaton, Algebraic Languages, Specifications, Scientific Research, Mathematical Models
Published
1991

48. On the expressive power of programming languages

Author

Felleisen, Matthias

Subjects
Programming Language, Scientific Research, Formal Languages, Technology, Comparison, Symbols, Syntax, Program Logic, Control Structures
Published
1991

50. Techniques for debugging parallel programs with flowback analysis

Author

Jong-Deok Choi, Miller, Barton P., and Netzer, Robert H.B.

Subjects
Software Engineering, Debugging/testing software, Concurrent Programming, Code Generator, Formal Languages, Function Analysis, Subroutines, Program Testing, Program Development Techniques, Parallelism, Algorithm, Primitive Data Items
Published
1991

Catalog

Books, media, physical & digital resources
See catalog results