01346nam--2200373---450-99000296227020331620070809130133.03-540-22152-2000296227USA01000296227(ALEPH)000296227USA0100029622720070809d2004----km-y0itay0103----baengDEa|||||||001yyIntegration of software specification techniques for applications in engineeringpriority program SoftSpez of the German Research Foundation (DFG)final reportHartmut Rhrig...[et al.](Eds.)Berlin [etc.]Springercopyr. 2004VIII, 538 p.ill.24 cm.Lecture notes in computer science3041State of the Art Survey2001Lecture notes in computer science3041State of the Art Survey2001001-------2001InformaticaImpiego in ingegneria004.071245EHRIG,Hartmut56511ITsalbcISBD990002962270203316001 LNCS 314731360/CBS00100215280BKSCISENATORE9020070809USA011301Integration of software specification techniques for applications in engineering1027012UNISA