Volume 19; Issue 5

IEEE Transactions on Software Engineering

Volume 19; Issue 5
1

An empirical study of evaluating software development environment quality

Miyoshi, T., Azuma, M.
Journal:
IEEE Transactions on Software Engineering
Year:
1993
Language:
english
File:
PDF, 1.03 MB
english, 1993
2

Using transformations in specification-based prototyping

Berzins, V., Luqi, Yehudai, A.
Journal:
IEEE Transactions on Software Engineering
Year:
1993
Language:
english
File:
PDF, 2.04 MB
english, 1993
3

Compositional semantics of a real-time prototyping language

Kramer, B., Luqi, Berzins, V.
Journal:
IEEE Transactions on Software Engineering
Year:
1993
Language:
english
File:
PDF, 2.29 MB
english, 1993
4

Extending typestate checking using conditional liveness analysis

Strom, R.E., Yellin, D.M.
Journal:
IEEE Transactions on Software Engineering
Year:
1993
Language:
english
File:
PDF, 915 KB
english, 1993
6

Formal derivation of concurrent programs: an example from industry

Staskauskas, M.G.
Journal:
IEEE Transactions on Software Engineering
Year:
1993
Language:
english
File:
PDF, 2.20 MB
english, 1993
7

A comparison of function point counting techniques

Jeffery, D.R., Low, G.C., Barnes, M.
Journal:
IEEE Transactions on Software Engineering
Year:
1993
Language:
english
File:
PDF, 461 KB
english, 1993