Automated analysis of concurrent systems with the constrained expression toolset von Avrunin, G.S., Buy, U.A., Corbett, J.C., Dillon, L.K., Wileden, J.C.

Volltext

Automated derivation of time bounds in uniprocessor concurrent systems von Avrunin, G.S., Corbett, J.C., Dillon, L.K., Wileden, J.C.

Volltext

Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems von Avrunin, G. S., Dillon, L. K., Wileden, J. C., Riddle, W. E.

Volltext

Ontologies for supporting engineering analysis models von GROSSE, IAN R., MILTON–BENOIT, JOHN M., WILEDEN, JACK C.

Volltext

A model of visibility control von Wolf, A.L., Clarke, L.A., Wileden, J.C.

Volltext

A comparative evaluation of object definition techniques for large prototype systems von Wileden, Jack C., Clarke, Lori A., Wolf, Alexander L.

Volltext

Describing and analyzing distributed software system designs von AVRUNIN, G. S, WILEDEN, J. C

Volltext

High-level debugging of distributed systems: The behavioral abstraction approach von Bates, Peter C., Wileden, Jack C.

Volltext

The AdaPIC tool set: supporting interface control and analysis throughout the software development process von Wolf, A.L., Clarke, L.A., Wileden, J.C.

Volltext

A Decision Support Ontology for collaborative decision making in engineering design von Rockwell, J., Grosse, I.R., Krishnamurty, S., Wileden, J.C.

Volltext bestellen

The Exu approach to safe, transparent and lightweight interoperability von Bubba, J.R., Kaplan, A., Wileden, J.C.

Volltext

Why IDLs are Not Ideal von Kaplan, A., Ridgway, J., Wileden, J. C.

Volltext

Ada-Based support for programming-in-the-Large von Wolf, A.L., Clarke, L.A., Wileden, J.C.

Volltext

The support systems task area von Wileden, J C, Riddle, W E, Sumrall, G E, Marmor-Squires, A B

Volltext

Software interoperability: principles and practice (tutorial) von Wileden, Jack C., Kaplan, Alan

Volltext

Behavior Modeling During Software Design von Riddle, W.E., Wileden, J.C., Sayler, J.H., Segal, A.R., Stavely, A.M.

Volltext

Behavior specification in a software design system von Wileden, Jack C., Sayler, John H., Riddle, William E., Segal, Alan R., Stavely, Allan M.

Volltext

Facilitating process prototyping by controlling the impact of change von Wileden, J. C., Clarke, L. A., Wolf, Alexander L.

Volltext

OROS: toward a type model for software development environments von Rosenblatt, W. R., Wileden, J. C., Wolf, Alexander L.

Volltext

The Ada PIC tool set: supporting interface control and analysis throughout the software development process von WOLF, A. L, CLARKE, L. A, WILEDEN, J. C

Volltext