LEADER 03976nam  22007575  450 
001 996466248103316
005 20200703095904.0
010   $a3-642-29320-4
024 7 $a10.1007/978-3-642-29320-7
035   $a(CKB)3360000000366003
035   $a(SSID)ssj0000666111
035   $a(PQKBManifestationID)11378659
035   $a(PQKBTitleCode)TC0000666111
035   $a(PQKBWorkID)10664050
035   $a(PQKB)10653594
035   $a(DE-He213)978-3-642-29320-7
035   $a(MiAaPQ)EBC3069942
035   $a(PPN)168314266
035   $a(EXLCZ)993360000000366003
100   $a20120417d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFundamentals of Software Engineering$b[electronic resource] $eFourth International IPM Conference, FSEN 2011, Tehran, Iran,  April 20-22, 2011, Revised Selected Papers /$fedited by Farhad Arbab, Marjan Sirjani
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XII, 377 p. 90 illus.) 
225 1 $aProgramming and Software Engineering ;$v7141
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-29319-0 
320   $aIncludes bibliographical references and author index.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011. The 19 revised full papers and 5 revised short papers presented together with 3 poster presentations were carefully reviewed and selected from 64 submissions. The papers are organized in topical section on models of programs and systems, software specification, validation and verification, software architectures and their description languages, object and multi-agent systems, CASE tools and tool integration, model checking and theorem proving, and Integration of different formal methods.
410  0$aProgramming and Software Engineering ;$v7141
606   $aSoftware engineering
606   $aComputer logic
606   $aComputer programming
606   $aComputers
606   $aMathematical logic
606   $aProgramming languages (Electronic computers)
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aModels and Principles$3https://scigraph.springernature.com/ontologies/product-market-codes/I18016
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aComputer programming.
615  0$aComputers.
615  0$aMathematical logic.
615  0$aProgramming languages (Electronic computers).
615 14$aSoftware Engineering/Programming and Operating Systems.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Techniques.
615 24$aModels and Principles.
615 24$aMathematical Logic and Formal Languages.
615 24$aProgramming Languages, Compilers, Interpreters.
676   $a005.1
702   $aArbab$b Farhad$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSirjani$b Marjan$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466248103316
996   $aFundamentals of Software Engineering$92508180
997   $aUNISA