Publications
Export 748 results:
Author Title Type [ Year] Filters: First Letter Of Title is S [Clear All Filters]
1977. The software engineering laboratory: Objectives. Proceedings of the fifteenth annual SIGCPR conference. :256-269.
1979. Syntactic/semantic interactions in programmer behavior: A model and experimental results. International Journal of Parallel Programming. 8(3):219-238.
1980. Systematic Derivation of Software Requirements. Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design. :403-404.
1981. Sequence of U1 RNA from Drosophila melanogaster: implications for U1 secondary structure and possible involvement in splicing. Nucleic Acids ResearchNucl. Acids Res.. 9(23):6351-6368.
1982. Structure and function of small ribonucleoproteins from eukaryotic cells. Princess Takamatsu symposiaInt. Symp. Princess Takamatsu Cancer Res. Fund. 12:101-107.
1982. SYSTEM MESSAGE GUIDELINES: POSITIVE TONE, CONSTRUCTIVE, SPECIFIC, AND USER CENTERED. Gathering Information for Problem Formulation.
1983. S., Wang. PY, Diagnostic Expert Systems Based on a Set Covering Model. International Journal on Man-Machine studies. 19:437–46O-437–46O.
1983. A self-describing meta-schema for the RM/T data model. IEEE Workshop On Languages for Automation, IEEE Computer Society Press.
1983. Small Ribonucleoproteins from Eukaryotes: Structures and Roles in RNA Biogenesis. Cold Spring Harbor Symposia on Quantitative BiologyCold Spring Harb Symp Quant Biol. 47:893-900.
1983. The Software Industry: A State of the Art Survey. Foundations of Empirical Software Engineering: The Legacy of Victor R. Basili. 1:383-383.
1983. Splicing of messenger RNA precursors is inhibited by antisera to small nuclear ribonucleoprotein. Cell. 35(1):101-107.
1984. Simulation of phonemic errors using artificial intelligence symbol processing techniques. Proceedings of the 17th annual symposium on Simulation. :49-64.
1984. Solving NP-hard problems on graphs that are almost trees and an application to facility location problems. Journal of the ACM (JACM). 31(3):459-473.
1985. Schema manipulation in self-describing and self-documenting data models. International Journal of Parallel Programming. 14(1):1-28.
1985. SEES—A Software testing Environment Support System. IEEE Transactions on Software Engineering. SE-11(4):355-366.
1985. Solving NP-hard problems in [] almost trees': Vertex cover. Discrete applied mathematics. 10(1):27-45.