Publications
Search

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 80 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 80 of 80  

    Your query returned 80 matches in the database.