Intelligent Support for Software Specification and Design

The Role of Domain Expenence in Software Design

Beth Adelson, Elliot Soloway · IEEE Transactions on Software Engineering · 1985 · 395 citations

Arts, Design, Software Engineering +12

Data Flow Languages

Ackerman · Computer · 1982 · 287 citations

Computing, Computer Science, Computer Systems +17

Transformational Implementation: An Example

Rosana Balzer · IEEE Transactions on Software Engineering · 1981 · 162 citations

Computing, Computer Science, Formal Methods +13

Stop the life-cycle, I want to get off

G. R. Gladden · ACM SIGSOFT Software Engineering Notes · 1982 · 149 citations

Management, Knowledge Management, Knowledge Preservation +5

Informality in Program Specifications

Rosana Balzer, Neil Goldman, David S. Wile · IEEE Transactions on Software Engineering · 1978 · 129 citations

Computing, Computer Science, Formal Methods +11