angina-pectoris
发表于 2025-3-26 22:22:22
Project Graphs and meta-programs towards a theory of Software development,of view, from the point of view of ., and also of . — ie. from more informal, pragmatic viewpoints, via formal methodological viewpoints, to a strictly theoretical viewpoint..Finally the architecture of a Software Development System is outlined. Within a single, unifying frame it embodies the manage
gruelling
发表于 2025-3-27 02:27:51
http://reply.papertrans.cn/89/8845/884448/884448_32.png
苦涩
发表于 2025-3-27 06:33:25
Integration of program construction and verification: the PROSPECTRA methodology,oject between Universität Bremen, Universität Dortmund, Universität Passau, Universität des Saarlandes (all D), University of Strathclyde (GB), SYSECA Logiciel (F), Dansk Datamatik Center (DK), and Standard Electrica S.A. (E), and is sponsored by the Commission of the European Communities under the
myopia
发表于 2025-3-27 09:46:31
Ada compiler validation: An example of software testing theory and practice,hilosophy and development of these tests from a “lessons learned” perspective, and points out lessons that apply to the testing of other large software projects. Examples of tests and test outputs are given.
Prologue
发表于 2025-3-27 14:41:00
The Software Engineering Institute at carnegie mellon university,. The US Department of Defense, being a large user of software, has taken the initiative to push for increased programmers‘ productivity by improving the software production process. The first phase of the DoD‘s Software Initiative resulted in the design of the Ada language. The second phase, in whi
高谈阔论
发表于 2025-3-27 21:43:59
http://reply.papertrans.cn/89/8845/884448/884448_36.png
柔美流畅
发表于 2025-3-27 22:25:05
978-3-540-18341-9Springer-Verlag Berlin Heidelberg 1987
肌肉
发表于 2025-3-28 05:26:44
http://reply.papertrans.cn/89/8845/884448/884448_38.png
isotope
发表于 2025-3-28 07:10:50
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/t/image/884448.jpg
tangle
发表于 2025-3-28 14:04:51
http://reply.papertrans.cn/89/8845/884448/884448_40.png