Automated analysis of concurrent systems with the constrained expression toolset
Avrunin, G.S., Buy, U.A., Corbett, J.C., Dillon, L.K., Wileden, J.C.
Published in IEEE transactions on software engineering (01.11.1991)
Published in IEEE transactions on software engineering (01.11.1991)
Get full text
Journal Article
Automated derivation of time bounds in uniprocessor concurrent systems
Avrunin, G.S., Corbett, J.C., Dillon, L.K., Wileden, J.C.
Published in IEEE transactions on software engineering (01.09.1994)
Published in IEEE transactions on software engineering (01.09.1994)
Get full text
Journal Article
A model of visibility control
Wolf, A.L., Clarke, L.A., Wileden, J.C.
Published in IEEE transactions on software engineering (01.04.1988)
Published in IEEE transactions on software engineering (01.04.1988)
Get full text
Journal Article
The Exu approach to safe, transparent and lightweight interoperability
Bubba, J.R., Kaplan, A., Wileden, J.C.
Published in 25th Annual International Computer Software and Applications Conference. COMPSAC 2001 (2001)
Published in 25th Annual International Computer Software and Applications Conference. COMPSAC 2001 (2001)
Get full text
Conference Proceeding
Journal Article
The support systems task area
Wileden, J C, Riddle, W E, Sumrall, G E, Marmor-Squires, A B
Published in Computer (Long Beach, Calif.) (01.11.1983)
Published in Computer (Long Beach, Calif.) (01.11.1983)
Get full text
Journal Article
A Decision Support Ontology for collaborative decision making in engineering design
Rockwell, J., Grosse, I.R., Krishnamurty, S., Wileden, J.C.
Published in 2009 International Symposium on Collaborative Technologies and Systems (01.05.2009)
Published in 2009 International Symposium on Collaborative Technologies and Systems (01.05.2009)
Get full text
Conference Proceeding
Behavior Modeling During Software Design
Riddle, W.E., Wileden, J.C., Sayler, J.H., Segal, A.R., Stavely, A.M.
Published in IEEE transactions on software engineering (01.07.1978)
Published in IEEE transactions on software engineering (01.07.1978)
Get full text
Journal Article
Software interoperability: principles and practice (tutorial)
Wileden, Jack C., Kaplan, Alan
Published in International Conference on Software Engineering: Proceedings of the 19th international conference on Software engineering; 17-23 May 1997 (01.01.1997)
Published in International Conference on Software Engineering: Proceedings of the 19th international conference on Software engineering; 17-23 May 1997 (01.01.1997)
Get full text
Conference Proceeding
Journal Article
Specification level interoperability
Wileden, J.C., Wolf, A.L., Rosenblatt, W.R., Tarr, P.L.
Published in [1990] Proceedings. 12th International Conference on Software Engineering (1990)
Published in [1990] Proceedings. 12th International Conference on Software Engineering (1990)
Get full text
Conference Proceeding
Why IDLs are not ideal
Kaplan, A., Ridgway, J., Wileden, J.C.
Published in Proceedings Ninth International Workshop on Software Specification and Design (1998)
Published in Proceedings Ninth International Workshop on Software Specification and Design (1998)
Get full text
Conference Proceeding