Yellamraju V. Srinivas

发表

SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems

J. Liu, Richard Jüllig, Yellamraju V. Srinivas, 1996, AMAST.

A Sheaf-Theoretic Approach to Pattern Matching and Related Problems

Yellamraju V. Srinivas, 1993, Theor. Comput. Sci..

Derivation of a Parallel Matching Algorithm

Yellamraju V. Srinivas, 1992, MPC.

Pattern Matching: A Sheaf-Theoretic Approach

Yellamraju V. Srinivas, 1991, AMAST.

Category Theory Definitions and Examples

Yellamraju V. Srinivas, 1990 .

Specware: Formal Support for Composing Software

Richard Jüllig, Yellamraju V. Srinivas, 1995, MPC.

Refinement of parameterized algebraic specifications

Yellamraju V. Srinivas, 1997, Algorithmic Languages and Calculi.

A Generalization of Backus' FP

Rajeev Sangal, Yellamraju V. Srinivas, 1986, FSTTCS.

Algebraic specification : syntax, semantics, structure

Yellamraju V. Srinivas, 1990 .

Augmenting Algebraic Specifications with Structured Sorts and Structural Subsorting

Yellamraju V. Srinivas, 1994, PROCOMET.

Diagrams for software synthesis

Richard Jüllig, Yellamraju V. Srinivas, 1993, Proceedings of 8th Knowledge-Based Software Engineering Conference.

Performance Optimization in ADA.

Yellamraju V. Srinivas, Richard Jullig, 1995 .

The Architecture of Specware, Tm a Formal Software Development System the Architecture of Specware, Tm a Formal Software Development System

Yellamraju V. Srinivas, James L. McDonald, 2007 .

Notice : This Material may be protected by Copyright Law ( Title 17 U . S . C . ) _ ! . Jategory Theory Definitions and Examples

Yellamraju V. Srinivas, 2015 .