ACM DL

Software Engineering and Methodology (TOSEM)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 6 Issue 1, Jan. 1997

Four dark corners of requirements engineering
Pamela Zave, Michael Jackson
Pages: 1-30
DOI: 10.1145/237432.237434
Research in requirements engineering has produced an extensive body of knowledge, but there are four areas in which the foundation of the discipline seems weak or obscure. This article shines some light in the “four dark corners,”...

A graphical environment for the design of concurrent real-time systems
L. E. Moser, Y. S. Ramakrishna, G. Kutty, P. M. Melliar-Smith, L. K. Dillon
Pages: 31-79
DOI: 10.1145/237432.237438
Concurrent real-time systems are among the most difficult systems to design because of the many possible interleavings of events and because of the timing requirements that must be satisfied. We have developed a graphical environment based on...

Task dependence and termination in Ada
Laura K. Dillon
Pages: 80-110
DOI: 10.1145/237432.237459
This article analyzes the semantics of task dependence and termination in Ada. We use a contour model of Ada tasking in examining the implications of and possible motivation for the rules that determine when procedures and tasks terminate during...