| 1996 |
|---|
| 25 | EE | Noah S. Prywes:
Recovering Design and Specifications from Source Code.
IEEE Software 13(6): 109-111, 114-115 (1996) |
| 1995 |
|---|
| 24 | EE | Moon Lee,
Noah S. Prywes,
Insup Lee:
Automation of analysis and simulation for understanding of large real-time Ada software.
ICECCS 1995: 55-58 |
| 23 | | Judith D. Ahrens,
Noah S. Prywes:
Transition to a Legacy- and Reuse-Based Software Life Cycle.
IEEE Computer 28(10): 27-36 (1995) |
| 22 | EE | Judith D. Ahrens,
Noah S. Prywes,
Evan D. Lock:
Software process reengineering: Toward a new generation of CASE technology.
Journal of Systems and Software 30(1-2): 71-84 (1995) |
| 1992 |
|---|
| 21 | EE | Evan D. Lock,
Noah S. Prywes:
Requirements on Ada Reengineering Technology from Past, Present and Future Systems.
TRI-Ada 1992: 384-395 |
| 1988 |
|---|
| 20 | | Boleslaw K. Szymanski,
Noah S. Prywes:
Efficient Handling of Data Structures in Definitional Languages.
Sci. Comput. Program. 10(3): 221-245 (1988) |
| 1987 |
|---|
| 19 | | Yuan Shi,
Noah S. Prywes,
Boleslaw K. Szymanski,
Amir Pnueli:
Very High Level Concurrent Programming.
IEEE Trans. Software Eng. 13(9): 1038-1046 (1987) |
| 1986 |
|---|
| 18 | EE | Yuan Shi,
Noah S. Prywes:
Programming in evolving distributed environments (abstract).
ACM Conference on Computer Science 1986: 405 |
| 17 | | Insup Lee,
Noah S. Prywes,
Boleslaw K. Szymanski:
Partitioning of Massive/Real-Time Programs for Parallel Processing.
Advances in Computers 25: 215-275 (1986) |
| 16 | | Noah S. Prywes,
Yuan Shi,
Boleslaw K. Szymanski,
Jine S. Tseng:
Supersystem Programming with Model.
IEEE Computer 19(2): 50-60 (1986) |
| 15 | | Jine S. Tseng,
Boleslaw K. Szymanski,
Yuan Shi,
Noah S. Prywes:
Real-Time Software Life Cycle with the Model System.
IEEE Trans. Software Eng. 12(2): 358-373 (1986) |
| 1985 |
|---|
| 14 | | Boleslaw K. Szymanski,
Yuan Shi,
Noah S. Prywes:
Terminating Iterative Solution of Simultaneous Equations in Distributed Message Passing Systems.
PODC 1985: 287-292 |
| 13 | | Boleslaw K. Szymanski,
Yuan Shi,
Noah S. Prywes:
Synchronized Distributed Termination.
IEEE Trans. Software Eng. 11(10): 1136-1140 (1985) |
| 1984 |
|---|
| 12 | EE | Boleslaw K. Szymanski,
Noah S. Prywes,
Evan D. Lock,
Amir Pnueli:
On the scope of static checking in definitional languages.
ACM Conference on Computer Science 1984: 197-207 |
| 11 | | Evan D. Lock,
Boleslaw K. Szymanski,
Noah S. Prywes:
Use of Model VHLL in Software Development and Maintenance.
COMPCON 1984: 316-320 |
| 10 | | Thomas T. Cheng,
Evan D. Lock,
Noah S. Prywes:
Use of Very High Level Languages and Program Generation by Management Professionals.
IEEE Trans. Software Eng. 10(5): 552-563 (1984) |
| 1983 |
|---|
| 9 | | Noah S. Prywes,
Amir Pnueli:
Compilation of Nonprocedural Specifications into Computer Programs.
IEEE Trans. Software Eng. 9(3): 267-279 (1983) |
| 1979 |
|---|
| 8 | EE | Noah S. Prywes,
Amir Pnueli,
S. Shastry:
Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development.
ACM Trans. Program. Lang. Syst. 1(2): 196-217 (1979) |
| 1977 |
|---|
| 7 | EE | Noah S. Prywes:
Automatic generation of computer programs.
AFIPS National Computer Conference 1977: 679-689 |
| 6 | | Noah S. Prywes,
Yung Chang,
Cihan Tinaztepe:
NOPAL - Automated Design and Programming of Testing.
IFIP Congress 1977: 777-782 |
| 5 | | Noah S. Prywes:
Automatic Generation of Computer Programs.
Advances in Computers 16: 57-125 (1977) |
| 1974 |
|---|
| 4 | EE | J. A. Ramirez,
N. Adam Rin,
Noah S. Prywes:
Automatic Generation of Data Conversion Programs Using A Data Description Language.
SIGMOD Workshop, Vol. 1 1974: 207-225 |
| 3 | EE | Noah S. Prywes:
Automatic Generation of Software Systems.
DATA BASE 6(2): 7-17 (1974) |
| 2 | EE | Noah S. Prywes,
Allen L. Lang,
Susan Zagorsky:
A-posteriori indexing, classification and retrieval of textual data.
Information Storage and Retrieval 10(1): 15-27 (1974) |
| 1962 |
|---|
| 1 | | Noah S. Prywes,
Harry J. Gray:
The Multi-List System for Real-Time Storage and Retrieval.
IFIP Congress 1962: 273-278 |
