217 results on '"Parnas, David Lorge"'
Search Results
2. Precise Documentation: The Key to Better Software
3. Tabular Expressions and Total Functional Programming
4. SDI: A Violation of Professional Responsibility
5. A Family of Mathematical Methods for Professional Software Documentation
6. An Easily Extensible Toolset for Tabular Mathematical Expressions
7. Tabular Representations in Relational Documents
8. Teaching programming as engineering
9. Some theorems we should prove
10. A formal approach to computer systems requirements documentation
11. Trace rewriting systems
12. Software — Allheilmittel und Rauschgift (Festansprache)
13. A family of computer systems for delivering individualized advice
14. Functional Specifications for Old (and New) Software
15. Software Engineering: An unconsummated marriage (extended abstract)
16. Document based rational software development
17. Language-free mathematical methods for software design extended abstract
18. Software Engineering: A Profession in Waiting
19. The use of mathematics in software quality assurance
20. The Use of Mathematics in Software Development : (Extended Abstract)
21. Documenting and verifying systems assembled from components
22. Software Engineering: Multi-person Development of Multi-version Programs
23. The Use of Mathematics in Software Development
24. Precise Documentation: The Key to Better Software
25. Priority Scheduling Versus Pre-Run-Time Scheduling
26. Requirements-based monitors for real-time systems
27. Software engineering programmes are not computer science programmes
28. Using test oracles generated from program documentation
29. A logic for describing, not verifying, software
30. Software Documentation and the Verification Process
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.
33. An Easily Extensible Toolset for Tabular Mathematical Expressions
34. Precise documentation of well-structured programs
35. Software Documentation and the Verification Process
36. Predicate logic for software engineering
37. On satisfying timing constraints in hard-real-time systems
38. Teaching programming as engineering
39. Language-free mathematical methods for software design extended abstract
40. Scheduling processes with release times, deadlines, precedence, and exclusion relations
41. Education for computing professionals
42. Some theorems we should prove
43. Sequential equivalents of parallel processes
44. Use of the concept of transparency in the design of hierarchically structured systems
45. A formal approach to computer systems requirements documentation
46. Trace rewriting systems
47. Functional Specifications for Old (and New) Software
48. Stop the numbers game
49. Views: Software Aspects of Strategic Defense Systems: A former member of the SDIO Panel on Computing in Support of Battle Management explains why he believes the "star wars" effort will not achieve its stated goals
50. Software Systems Engineering programmes a capability approach
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.