Abstract
No abstract available.
Cited By
- Kulik T, Dongol B, Larsen P, Macedo H, Schneider S, Tran-Jørgensen P and Woodcock J (2022). A Survey of Practical Formal Methods for Security, Formal Aspects of Computing, 34:1, (1-39), Online publication date: 31-Mar-2022.
- Anureev I (2020). Operational Semantics of Annotated Reflex Programs, Automatic Control and Computer Sciences, 54:7, (719-727), Online publication date: 1-Dec-2020.
- Caminati M, Kerber M, Lange C and Rowat C Sound Auction Specification and Implementation Proceedings of the Sixteenth ACM Conference on Economics and Computation, (547-564)
- Parnas D Software engineering Dependable and Historic Computing, (413-427)
- Osterweil L A Future for Software Engineering? 2007 Future of Software Engineering, (1-11)
- Boehm B A view of 20th and 21st century software engineering Proceedings of the 28th international conference on Software engineering, (12-29)
- Shapiro S (2018). Splitting the Difference, IEEE Annals of the History of Computing, 19:1, (20-54), Online publication date: 1-Jan-1997.
- Randell B Software engineering in 1968 Proceedings of the 4th international conference on Software engineering, (1-10)
- Wasserman A (1976). A top-down view of software engineering, ACM SIGSOFT Software Engineering Notes, 1:1, (8-14), Online publication date: 1-May-1976.
- Kildall G Microcomputer software design Proceedings of the May 19-22, 1975, national computer conference and exposition, (99-106)
- Naur P (1975). Programming languages, natural languages, and mathematics, Communications of the ACM, 18:12, (676-683), Online publication date: 1-Dec-1975.
- Goodenough J and Gerhart S (2019). Toward a theory of test data selection, ACM SIGPLAN Notices, 10:6, (493-510), Online publication date: 1-Jun-1975.
- London R (2019). A view of program verification, ACM SIGPLAN Notices, 10:6, (534-545), Online publication date: 1-Jun-1975.
- Naur P Programming languages, natural languages, and mathematics Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (137-148)
- Goodenough J and Gerhart S Toward a theory of test data selection Proceedings of the international conference on Reliable software, (493-510)
- London R A view of program verification Proceedings of the international conference on Reliable software, (534-545)
Index Terms
- Software Engineering Techniques: Report of a conference sponsored by the NATO Science Committee, Rome, Italy, 27-31 Oct. 1969, Brussels, Scientific Affairs Division, NATO
Recommendations
Current perspectives on the software engineering process
AbstractThis volume comprises a selected set of high‐quality and extended articles of the 26th Systems, Software and Services Process Improvement (EuroSPI) Conference, held during September 18–20, 2019 in Edinburgh, UK. Conferences were held in Dublin (...
Communication Techniques: Etude du champ magnetique dans des toles ferromagnetiques au moyen d'un calculateur analogique
Le phenomene de penetration du champ magnetique dans des toles conductrices ferromagnetiques est decrit par une equation aux derivees partielles, dont la simulation sur calculateur analogique permet l'etude aisee dans des cas lineaires ou non. Le schema ...