A semantics-based method for requirements analysis and system design
- Max L. Wilson
- 1979
- COMPSAC 1979
Conference paper
Publications
24880 results for Exploratory Science
Considerations In developing a design tool for a relational DBMS
- Mario Schkolnick
- Paolo Tiberio
- 1979
- COMPSAC 1979
Conference paperView modelling and integration using the funct ional dependency model
- V. Waddle
- S.B. Yao
- et al.
- 1979
- COMPSAC 1979
Conference paperComparing models of parallel computation by homomorphisms
- Raymond E. Miller
- Takumi Kasai
- 1979
- COMPSAC 1979
Conference paperLocal position of Fe3+ in ferroelectric BaTiO3
- E. Siegel
- K.A. Müller
- 1979
- Physical Review B
PaperFilamentary AC electroluminescence in ZnS:Mn
- W. Rühle
- V. Marrello
- et al.
- 1979
- Journal of Electronic Materials
PaperInstability in the Potts model
- E. Pytte
- 1979
- Physical Review B
ReviewNew classes and applications of hash functions
- Mark N. Wegman
- J. Lawrence Carter
- 1979
- FOCS 1979
Conference paperA polynomial time algorithm for solving systems of linear inequalities with two variables per inequality
- Bengt Aspvall
- Yossi Shiloach
- 1979
- FOCS 1979
Conference paperSemantics of probabilistic programs
- Dexter Kozen
- 1979
- FOCS 1979
Conference paper