Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy 1992
DBLP:	db/conf/seke/seke1992.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 80  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper K. Sugihara, K. Yamamoto, I. Miyamoto. Automatic Layout of Diagrams for Software Specification.	SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy 1992	(0)	1992
	Conference paper Enrico Maim. Recognizing Objects from Constraints.	SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy 1992	(0)	1992
	Conference paper Mehdi T. Harandi, Hing-Yan Lee. A Support Envimnment for Knowledge-Based Software Design.	SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy 1992	(0)	1992
	Conference paper Junbo Liu, Owen Traynor, Bernd Krieg-Brückner. Knowledge-Based Transfonnational Programming.	SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy 1992	(0)	1992
	Conference paper Jin-Kao Hao, F. Trousset, Jean Jacques. Prototyping an Inconsistency Checking Tool for Software Process Models.	SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy 1992	(0)	1992
	Conference paper Atsuo Hazeyama, Seiichi Komiya. A Process Model for Software Process Management.	SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy 1992	(0)	1992
	Conference paper Hai Huang, Kazuo Sugihara, Isao Miyamoto. A Rule-Based Tool for Reverse Engineering from Source Code to Graphical Models.	SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy 1992	(0)	1992
	Conference paper Wolfgang Reif. Correctness of Full First-Order Specifications.	SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy 1992	(0)	1992
	Conference paper Jung-Hong Kao, Lawrence J. Henschen. A Graph Proof Procedure for Real Time Logic.	SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy 1992	(0)	1992
	Conference paper Arthur H. M. ter Hofstede, T. F. Verhoef, E. R. Nieuwland, G. M. Wijers. Integrated Specification of Method and Graphic Knowledge.	SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy 1992	(0)	1992

Show item 1 to 10 of 80  

Your query returned 80 matches in the database.