John Socha

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1999

2 Kevin J. Sullivan, Mark Marchukov, John Socha: Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft's Component Object Model. IEEE Trans. Software Eng. 25(4): 584-599 (1999)

1997

1 Kevin J. Sullivan, John Socha, Mark Marchukov: Using Formal Methods to Reason about Architectural Standards. ICSE 1997: 503-513

	1999
2		Kevin J. Sullivan, Mark Marchukov, John Socha: Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft's Component Object Model. IEEE Trans. Software Eng. 25(4): 584-599 (1999)
	1997
1		Kevin J. Sullivan, John Socha, Mark Marchukov: Using Formal Methods to Reason about Architectural Standards. ICSE 1997: 503-513

Coauthor Index

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page