Search

Your search keyword '"Parnas, David Lorge"' showing total 217 results

Search Constraints

Start Over You searched for: Author "Parnas, David Lorge" Remove constraint Author: "Parnas, David Lorge"
217 results on '"Parnas, David Lorge"'

Search Results

1. Software Engineering: Multi-person Development of Multi-version Programs

3. Tabular Expressions and Total Functional Programming

5. A Family of Mathematical Methods for Professional Software Documentation

11. Trace rewriting systems

20. The Use of Mathematics in Software Development : (Extended Abstract)

26. Requirements-based monitors for real-time systems

31. Why software jewels are rare

32. The Real Risks of Artificial Intelligence: Incidents from the early days of AI research are instructive in the current AI environment.

36. Predicate logic for software engineering

43. Sequential equivalents of parallel processes

48. Stop the numbers game

50. Software Systems Engineering programmes a capability approach

Catalog

Books, media, physical & digital resources