Towards a Method of Programming With Assertions
classification presented in this paper will prove to be a useful first step in developing a method of programming with assertions.
4,951 papers · page 216 of 248
Programming-in-the-Large: Past, Present, and Future
Article Free Access Share on Programming-in-the-large: past, present, and future Author: Walter F. Tichy View Profile Authors Info & Claims ICSE '92: Proceedings of the 14th international conference on Software engineeringJune 1992 Pages 362–367https://doi.org/10.1145/143062.1431…
Productivity Analysis of Software Development with an Integrated CASE Tool
It has been expected that CASE tools reduce programming efforts and increase development productivity. However, little has been reported on the analysis of the effect on productivity using quantitative data. This paper discusses productivity improvement through the use of an inte…
Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL
Article Free Access Share on Formal specification of asynchronous distributed real-time systems by APTL Authors: Farn Wang View Profile , Al Mok View Profile , E. Allen Emerson View Profile Authors Info & Claims ICSE '92: Proceedings of the 14th international conference on Softwa…