Noah S. Prywes

36 papers A* 1B 1Journal 20Unranked 14
YearRankTypeTitle / Venue / Authors
1996 J jnl
Recovering Design and Specifications from Source Code.
IEEE Softw.
Noah S. Prywes
1995 B conf
Automation of analysis and simulation for understanding of large real-time Ada software.
ICECCS
Moon Lee, Noah S. Prywes, Insup Lee
1995 J jnl
Software process reengineering: Toward a new generation of CASE technology.
J. Syst. Softw.
Judith D. Ahrens, Noah S. Prywes, Evan D. Lock
1995 J jnl
Transition to a Legacy- and Reuse-Based Software Life Cycle.
Computer
Judith D. Ahrens, Noah S. Prywes
1992 — conf
Requirements on Ada Reengineering Technology from Past, Present and Future Systems.
TRI-Ada
Evan D. Lock, Noah S. Prywes
1991 — conf
Automatic abstraction of real-time software and re-implementation in Ada.
TRI-Ada
Noah S. Prywes, Evan D. Lock, Xiang Ge
1990 — conf
Reverse software engineering of concurrent programs.
Jerusalem Conference on Information Technology
Xiang Ge, Noah S. Prywes
1988 J jnl
Efficient Handling of Data Structures in Definitional Languages.
Sci. Comput. Program.
Boleslaw K. Szymanski, Noah S. Prywes
1987 J jnl
Very High Level Concurrent Programming.
IEEE Trans. Software Eng.
Yuan Shi, Noah S. Prywes, Boleslaw K. Szymanski, Amir Pnueli
1986 J jnl
Partitioning of Massive/Real-Time Programs for Parallel Processing.
Adv. Comput.
Insup Lee, Noah S. Prywes, Boleslaw K. Szymanski
1986 — conf
Programming in evolving distributed environments (abstract).
ACM Conference on Computer Science
Yuan Shi, Noah S. Prywes
1986 J jnl
Real-Time Software Life Cycle with the Model System.
IEEE Trans. Software Eng.
Jine S. Tseng, Boleslaw K. Szymanski, Yuan Shi, Noah S. Prywes
1986 J jnl
Supersystem Programming with Model.
Computer
Noah S. Prywes, Yuan Shi, Boleslaw K. Szymanski, Jine S. Tseng
1985 J jnl
Synchronized Distributed Termination.
IEEE Trans. Software Eng.
Boleslaw K. Szymanski, Yuan Shi, Noah S. Prywes
1985 A* conf
Terminating Iterative Solution of Simultaneous Equations in Distributed Message Passing Systems.
PODC
Boleslaw K. Szymanski, Yuan Shi, Noah S. Prywes
1984 J jnl
Automatic program generation in distributed cooperative computation.
IEEE Trans. Syst. Man Cybern.
Noah S. Prywes, Amir Pnueli
1984 — conf
On the scope of static checking in definitional languages.
ACM Annual Conference
Boleslaw K. Szymanski, Noah S. Prywes, Evan D. Lock, Amir Pnueli
1984 — conf
Use of Model VHLL in Software Development and Maintenance.
COMPCON
Evan D. Lock, Boleslaw K. Szymanski, Noah S. Prywes
1984 J jnl
Use of Very High Level Languages and Program Generation by Management Professionals.
IEEE Trans. Software Eng.
Thomas T. Cheng, Evan D. Lock, Noah S. Prywes
1983 J jnl
Compilation of Nonprocedural Specifications into Computer Programs.
IEEE Trans. Software Eng.
Noah S. Prywes, Amir Pnueli
1979 J jnl
Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development.
ACM Trans. Program. Lang. Syst.
Noah S. Prywes, Amir Pnueli, S. Shastry
1977 J jnl
Automatic Generation of Computer Programs.
Adv. Comput.
Noah S. Prywes
1977 — conf
Automatic generation of computer programs.
AFIPS National Computer Conference
Noah S. Prywes
1977 — conf
NOPAL - Automated Design and Programming of Testing.
IFIP Congress
Noah S. Prywes, Yung Chang, Cihan Tinaztepe
1975 J jnl
Preparing for Future Needs.
Computer
Noah S. Prywes
1974 J jnl
A-posteriori indexing, classification and retrieval of textual data.
Inf. Storage Retr.
Noah S. Prywes, Allen L. Lang, Susan Zagorsky
1974 — conf
Automatic Generation of Data Conversion Programs Using A Data Description Language.
SIGMOD Workshop, Vol. 1
J. A. Ramirez, N. Adam Rin, Noah S. Prywes
1974 J jnl
Automatic Generation of Software Systems.
Data Base
Noah S. Prywes
1970 — conf
All-automatic processing for a large library.
AFIPS Spring Joint Computing Conference
Noah S. Prywes, Barry Litofsky
1963 — conf
Automatic stratification of information.
AFIPS Spring Joint Computing Conference
David Lefkovitz, Noah S. Prywes
1962 — conf
The Multi-List System for Real-Time Storage and Retrieval.
IFIP Congress
Noah S. Prywes, Harry J. Gray
1961 — conf
Application of computers to circuit design for Univac Larc.
IRE-AIEE-ACM Computer Conference (Western)
Gilbert Kaskey, Noah S. Prywes, Herman Lukoff
1961 J jnl
UNIYAC-LARC High-Speed Circuitry: Case History in Circuit Optimization.
IRE Trans. Electron. Comput.
Noah S. Prywes, Herman Lukoff, John Schwarz
1959 — conf
Outline for a multi-list organized system.
ACM National Meeting
Harry J. Gray Jr., Noah S. Prywes
1958 J jnl
Diodeless Magnetic Shift Registers Utilizing Transfluxors.
IRE Trans. Electron. Comput.
Noah S. Prywes
1956 J jnl
High-Speed Shift Registers Using One Core Per Bit.
IRE Trans. Electron. Comput.
Vernon L. Newhouse, Noah S. Prywes