INPUT-OUTPUT TOOLS: A LANGUAGE FACILITY FOR INTERACTIVE AND REAL-TIME SYSTEMSVAN DEN BOS J; PLASMEIJER J; HARTEL PH et al.1983; IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; ISSN 0098-5589; USA; DA. 1983; VOL. 9; NO 3; PP. 247-258; BIBL. 22 REF.Article

SPECIFICATION LANGUAGES AND PROGRAM TRANSFORMATIONPEPPER P.1982; RELATIONSHIP BETWEEN NUMERICAL COMPUTATION AND PROGRAMMING LANGUAGES./WORKING CONFERENCE 1981-08-03/BOULDER COI; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH-HOLLAND; DA. 1982; PP. 331-346; BIBL. 17 REF.Conference Paper

KARL-II-EINE SPRACHE ZUR SPEZIFIKATION BEIM ENTWURF KUNDEN-SPEZIFISCHER DIGITALBAUSTEINE = KARL-II-UN LANGAGE DE SPECIFICATION DE CIRCUITS NUMERIQUES DANS LA PHASE DE CONCEPTIONHARTENSTEIN RW.1982; ANGEWANDTE INFORMATIK; ISSN 0013-5704; DEU; DA. 1982; NO 12; PP. 581-591; ABS. ENG; BIBL. 3 REF.Article

THE SRDL SPECIFICATION EXPERIMENTKLAEREN HA.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 134; PP. 282-293; BIBL. 4 REF.Conference Paper

VIEW MODELING AND INTEGRATION USING THE FUNCTIONAL DATA MODELBING YAO S; WADDLE VE; HOUSEL BC et al.1982; IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; ISSN 0098-5589; USA; DA. 1982; VOL. 8; NO 6; PP. 544-553; BIBL. 27 REF.Article

CHILL PROGRAMMING SYSTEM: IMPLEMENTATION AND OPERATIONAL ASPECTSCARELLI C; MANUCCI F; ROSCI G et al.1981; CSELT RAPP. TEC.; ISSN 0390-1815; ITA; DA. 1981; VOL. 9; NO 5; SUPPL.; PP. 543-549; ABS. ITA; BIBL. 10 REF.Article

ON THE POWER OF ALGEBRAIC SPECIFICATIONSBERGSTRA JA; BROY M; TUCKER JV et al.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 118; PP. 193-204; BIBL. 1 P.Conference Paper

LOGICIEL NUMERIQUE ASSOCIE A UNE MODELISATION DE SYSTEMES INFORMATIQUESCACHARD FRANCOIS.1981; ; FRA; DA. 1981; 132 P.; 21 CM; BIBL. 17 REF.; TH. DOCT.-ING./GRENOBLE 1-INPG/1981Thesis

FORMALIZATION OF DATA BASE MODELSBJORNER D.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 86; PP. 144-215; BIBL. 9 REF.Conference Paper

FORMAL SPECIFICATION AND VERIFICATION OF A CONNECTION ESTABLISHMENT PROTOCOLSCHWABE D.1981; DATA COMMUNICATION SYMPOSIUM. 7/1981/MEXICO; USA; NEW YORK: IEEE; DA. 1981; PP. 11-26; BIBL. 19 REF.Conference Paper

DESCRIPTION DES SYSTEMES MODELISES A L'AIDE DU LANGAGE SDLIONIN GL.1981; AVTOMAT. VYCHISLIT. TEKH.; SUN; DA. 1981; NO 1; PP. 30-33; BIBL. 7 REF.Article

THE DESIGN OF A FAMILY OF APPLICATION-ORIENTED REQUIREMENTS LANGUAGESDAVIS AM.1982; COMPUTER; ISSN 0018-9162; USA; DA. 1982; VOL. 15; NO 5; PP. 21-28; BIBL. 28 REF.Article

THE SEMANTICS OF CLEAR, A SPECIFICATION LANGUAGEBURSTALL RM; GOGUEN JA.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 86; PP. 292-332; BIBL. 2 P.Conference Paper

THE VIENNA DEVELOPMENT METHOD (VDM): SOFTWARE SPECIFICATION & PROGRAM SYNTHESISBJORNER D.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 75; PP. 326-359; BIBL. 3 P.Conference Paper

FINITE STATE TECHNIQUES IN SOFTWARE ENGINEERINGWILKENS EJ.1977; COMPSAC 77. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 1/1977-11-08/CHICAGO; USA; NEW YORK: IEEE; DA. 1977; 691-697; BIBL. 12 REF.Conference Paper

FROM STATE MACHINES TO TEMPORAL LOGIC: SPECIFICATION METHODS FOR PROTOCOL STANDARDSSCHWARTZ R; MELLIAR SMITH P.1982; IEEE TRANSACTIONS ON COMMUNICATIONS; ISSN 0090-6778; USA; DA. 1982; VOL. 30; NO 12; PP. 2486-2496; BIBL. 17 REF.Article

DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGICCLARKE EM; EMERSON EA.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981 PUBL. 1982; NO 131; PP. 52-71; BIBL. 18 REF.Conference Paper

INFORMATION RESOURCE SPECIFICATION AND DESIGN LANGUAGEKONSYNSKI BR; MANNINO M.1980; ENTITY-RELATIONSHIP APPROACH TO SYSTEMS ANALYSIS AND DESIGN. INTERNATIONAL CONFERENCE ON ENTITY-RELATIONSHIP APPROACH TO SYSTEMS ANALYSIS AND DESIGN/1979/LOS ANGELES CA; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH-HOLLAND; DA. 1980; PP. 339-351; BIBL. 18 REF.Conference Paper

POLICE distributed conflict detection architectureDURSUN, Taner; ÖRENCIK, Bülent.IEEE International Conference on Communications. 2004, isbn 0-7803-8533-0, vol4, 2081-2085Conference Paper

Abstract design and program translator: new tools for software designARCHIBALD, J. L; LEAVENWORTH, B. M; POWER, L. R et al.IBM systems journal. 1983, Vol 22, Num 3, pp 170-187, issn 0018-8670Article

SPECIFICATION AND SYNTHESIS OF COMMUNICATING PROCESSES USING AN EXTENDED TEMPORAL LOGICWOLPER P.1982; ANNUAL ASSOCIATION FOR COMPUTING MACHINERY SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 9/1982-01-25/ALBUQUERQUE NM; USA; NEW YORK: ACM; DA. 1982; PP. 20-33; BIBL. 15 REF.Conference Paper

AN OPERATIONAL APPROACH TO REQUIREMENTS SPECIFICATION FOR EMBEDDED SYSTEMSZAVE P.1982; IEEE TRANS. SOFTW. ENG.; ISSN 0098-5589; USA; DA. 1982; VOL. 8; NO 3; PP. 250-269; BIBL. 54 REF.Article

PROGRAMMENTWURF UND -SPEZIFIKATION IN ABSTRACT-PASCAL = PROJET ET SPECIFICATION DE PROGRAMME EN ABSTRACT-PASCALHORN C.1981; WISS. Z. HUMBOLDT-UNIV. BERL., MATH.-NATURWISS. REIHE; ISSN 0522-9863; DDR; DA. 1981; VOL. 30; NO 5; PP. 423-429; ABS. RUS/FRE/ENG; BIBL. 7 REF.Article

APPLICATION OF CCITT SDL FOR SOFTWARE DEVELOPMENT AND ITS MAINTAINABILITYBAGNOLI P; GIORCELLI S; LONGO F et al.1981; CSELT RAPP. TEC.; ISSN 0390-1815; ITA; DA. 1981; VOL. 9; NO 5; SUPPL.; PP. 535-541; ABS. ITA; BIBL. 15 REF.Article

COMPUTER AIDED DESIGN FOR MICROCOMPUTER SYSTEMSLEWIN D.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 126; PP. 65-137; BIBL. 68 REF.Conference Paper