[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Posting history for user EMC2::CATTEL

9 notes across 6 conferences

Known Personal Names (1)

Summary of Posts

Click on conference filespec to scroll down to
ConferenceTotal
Posts		Conference Title
clt::software_technology2Software Technology Reports
meo78b::analysis_and_design2Forum on Analysis and Design techniques
noted::object_oriented2Object-Oriented Discussions
clt::sdt1Software Design Tool Forum
kasino::eerp_abstracts1European Research Abstracts
nyoss1::swshare1Software/SHARED

Conference clt::sdt (Software Design Tool Forum)

1 posts
TOPIC78.0Tue May 16 1989 12:38 Desperately seeking for help on VDM and formal methods 78 lines

Conference clt::software_technology (Software Technology Reports)

2 posts
TOPIC168.0Tue May 16 1989 12:42 Desperately seeking for help on VDM and formal methods 78 lines
TOPIC 169.0 Formal Methods and Specifications
169.2Wed Jun 07 1989 11:40 RDVAX::MCC ? 19 lines

Conference kasino::eerp_abstracts (European Research Abstracts)

1 posts
TOPIC 169.0 481/FR-014 [75] BESANCON:Kernel sys for Distr. Applications
169.4Wed Feb 06 1991 18:02 something new 7 lines

Conference meo78b::analysis_and_design (Forum on Analysis and Design techniques)

2 posts
TOPIC20.0Wed May 17 1989 02:15 Desperately seeking help on VDM and formal methods 78 lines
20.2Fri May 19 1989 01:57 Books, mathematical background 41 lines

Conference noted::object_oriented (Object-Oriented Discussions)

2 posts
TOPIC149.0Tue May 16 1989 12:29 Desperately seeking for help on VDM and formal methods 78 lines
149.2Thu May 18 1989 12:17 Vienna Development Method 10 lines

Conference nyoss1::swshare (Software/SHARED)

1 posts
TOPIC112.0Tue May 16 1989 12:44 Desperately seeking help on VDM and formal methods 78 lines

Additional information

First Post:Tue May 16 1989
Last Post:Wed Feb 06 1991
# Topics:5
# Replies:4
# We have note bodies for:0
Total memory used by this script: 796,392 (6,291,456)