MARC record from Internet Archive

LEADER: 09970cam 2200889 a 4500
001 ocm22544741
003 OCoLC
005 20210209103649.0
008 901001s1991 njua b 001 0 eng
010 $a 90020198
040 $aDLC$beng$cDLC$dNLGGC$dBTCTA$dYDXCP$dZWZ$dUKM$dAU@$dB9K$dDEBBG$dTULIB$dGBVCP$dOCLCO$dOCLCF$dOCLCQ$dCN8BJ$dOCLCQ$dOCLCO$dDHA$dOCLCA$dMM9$dIPL
015 $aGB9128559$2bnb
015 00 $ab9128559
019 $a24719295$a775908692$a1173826781$a1191438868$a1201003354
020 $a0138204322
020 $a9780138204327
020 $a0138182043$q(pbk.)
020 $a9780138182045$q(pbk.)
035 $a(OCoLC)22544741$z(OCoLC)24719295$z(OCoLC)775908692$z(OCoLC)1173826781$z(OCoLC)1191438868$z(OCoLC)1201003354
037 $c£17.95
050 00 $aQA76.758$b.G47 1991
082 00 $a005.1$220
084 $a54.52$2bcl
084 $aDAT 310f$2stub
084 $aST 230$2rvk
084 $a*68N99$2msc
084 $a28$2sdnb
084 $a68-01$2msc
084 $a68Q60$2msc
084 $a68Q85$2msc
084 $a005.1
100 1 $aGhezzi, Carlo.
245 10 $aFundamentals of software engineering /$cCarlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli.
260 $aEnglewood Cliffs, NJ :$bPrentice Hall,$c©1991.
300 $axv, 573 pages :$billustrations ;$c24 cm
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
504 $aIncludes bibliographical references (pages 539-566) and index.
530 $aAlso issued online.
505 00 $tThe Role of Object Orientation --$tSoftware Engineering: A Preview --$tThe Role of Software Engineering in System Design --$tA Shortened History of Software Engineering --$tThe Role of The Software Engineer --$tThe Software Life Cycle --$tThe Relationship of Software Engineering to Other Areas of Computer Science --$tProgramming Languages --$tOperating Systems --$tData Bases --$tArtificial Intelligence --$tTheoretical Models --$tThe Relationship of Software Engineering to Other Disciplines --$tManagement Science --$tSystems Engineering --$tSoftware: Its Nature and Qualities --$tClassification of Software Qualities --$tExternal Versus Internal Qualities --$tProduct and Process Qualities --$tRepresentative Qualities --$tCorrectness, Reliability, and Robustness --$tPerformance --$tUsability --$tVerifiability --$tMaintainability --$tReusability --$tPortability --$tUnderstandability --$tInteroperability --$tProductivity --$tTimeliness --$tVisibility --$tQuality Requirements in Different Application Areas --$tInformation Systems --$tReal-Time Systems --$tDistributed Systems --$tEmbedded Systems --$tMeasurement of Quality --$tSoftware Engineering Principles --$tRigor and Formality --$tSeparation of Concerns --$tModularity --$tAbstraction --$tAnticipation of Change --$tGenerality --$tIncrementality --$tTwo Case Studies Illustrating Software Engineering Principles --$tApplication of Software Engineering Principles to Compiler Construction --$tA Case Study in System Engineering --$tDesign and Software Architecture --$tThe Software Design Activity and its Objectives.
505 80 $tDesign for Change --$tProduct Families --$tModularization Techniques --$tThe Module Structure and its Representation --$tInterface, Implementation, and Information Hiding --$tDesign Notations --$tCategories of Modules --$tSome Specific Techniques for Design for Change --$tStepwise Refinement --$tTop-Down Versus Bottom-Up Design --$tHandling Anomalies --$tA Case Study in Design --$tConcurrent Software --$tShared Data --$tReal-Time Software --$tDistributed Software --$tObject-Oriented Design --$tGeneralization and Specialization --$tAssociations --$tAggregation --$tMore on UML Class Diagrams --$tArchitecture and Components --$tStandard Architectures --$tSoftware Components --$tArchitecture as Framework for Component Integration --$tArchitectures for Distributed Systems --$tSpecification --$tThe Uses of Specifications --$tSpecification Qualities --$tClassification of Specification Styles --$tVerification of Specifications --$tOperational Specifications --$tData Flow Diagrams: Specifying Functions of Information Systems --$tUML Diagrams for Specifying Behaviors --$tFinite State Machines: Describing Control Flow --$tPetri Nets: Specifying Asynchronous Systems --$tDescriptive Specifications --$tEntity-Relationship Diagrams --$tLogic Specifications --$tAlgebraic Specifications --$tBuilding and Using Specifications in Practice --$tRequirements for Specification Notations --$tBuilding Modular Specifications --$tSpecifications for the End User --$tVerification --$tGoals and Requirements of Verification --$tEverything Must Be Verified.
505 80 $tThe Results of Verification May Not Be Binary --$tVerification May Be Objective or Subjective --$tEven Implicit Qualities Must Be Verified --$tApproaches to Verification --$tTesting --$tGoals for Testing --$tTheoretical Foundations of Testing --$tEmpirical Testing Principles --$tTesting in the Small --$tTesting in the Large --$tSeparate Concerns in the Testing Activity --$tTesting Concurrent and Real-Time Systems --$tAnalysis --$tInformal Analysis Techniques --$tCorrectness Proofs --$tSymbolic Execution --$tBasic Concepts of Symbolic Execution --$tPrograms with Arrays --$tThe Use of Symbolic Execution in Testing --$tModel Checking --$tDebugging --$tVerifying Other Software Properties --$tVerifying Performance --$tVerifying Reliability --$tVerifying Subjective Qualities --$tThe Software Production Process --$tWhat is a Software Process Model? --$tWhy Are Software Process Models Important? --$tThe Main Activities of Software production --$tFeasibility Study --$tEliciting, Understanding, and Specifying Requirements --$tDefinition of the Software Architecture and Detailed Design --$tCoding and Module Testing --$tIntegration and System Testing --$tDelivery, Deployment, and Maintenance --$tAn Overview of Software Process Models --$tWaterfall Models --$tEvolutionary Models --$tTransformation Model --$tSpiral Model --$tAn Assessment of Process Models --$tDealing with Legacy Software --$tCase Study: A Telephone Switching System --$tCase Study: A Budget Control System --$tCase study: The Microsoft Synchronize and Stabilize Process --$tCase study: The Open Source Approach.
505 80 $tOrganizing the Process --$tStructured Analysis/Structured Design --$tJackson's System Development and Structured Programming --$tThe Unified Software Development Process --$tOrganizing Artifacts: Configuration Management --$tSoftware Standards --$tManagement of Software Engineering --$tManagement Functions --$tProject Planning --$tSoftware Productivity --$tPeople and Productivity --$tCost Estimation --$tProject Control --$tWork Breakdown Structures --$tGantt Charts --$tPERT Charts --$tDealing with Deviations from the Plan --$tOrganization --$tCentralized-Control Team Organization --$tDecentralized-Control Team Organization --$tMixed-Control Team Organization --$tAn Assessment of Team Organizations --$tRisk Management --$tTypical Management Risks in Software Engineering --$tCapability Maturity Model --$tSoftware Engineering Tools and Environments --$tHistorical Evolution of Tools and Environments --$tDimensions for Comparing Software Tools --$tRepresentative Tools --$tEditors --$tLinkers --$tInterpreters --$tCode Generators --$tDebuggers --$tTools Used in Software Testing --$tStatic Analyzers --$tGraphical User Interface Tools --$tConfiguration Management Tools --$tTracking tools --$tReverse and reengineering tools --$tProcess support tools --$tManagement Tools --$tTool Integration --$tForces Influencing the Evolution of Tools --$tThe Future --$tEthics and Social Responsibility --$tSoftware Engineering Code of Ethics --$tAutomating a Law Office --$tEconomic and Financial Planning --$tTechnical Planning and Management --$tProject Monitoring --$tInitial Delivery.
505 80 $tPartial Recovery --$tBuilding a Family of Compliers --$tInitial Product Planning --$tEconomic and Financial Planning --$tTechnical Planning and Management --$tEarly Development Phases --$tProject Monitoring --$tProject Reexamination, Revival, And Goal Setting --$tAssignment of Responsibility --$tSteady Progress and Release of the Product --$tProduct Distribution --$tIncremental Delivery --$tApplying Formal Methods in Industry --$tEducation and Training --$tRequirements Specification --$tRequirements Validation and Verification Planning --$tDesign, Implementation, and Verification --$tOverall Evaluation and Assessment --$tThe Impact of the Project on Company's Strategy.
650 0 $aSoftware engineering.
650 7 $aSoftware engineering.$2fast$0(OCoLC)fst01124185
650 7 $aSoftware Engineering$2gnd
650 7 $aLehrbuch$2gnd
650 17 $aProgrammatuurtechniek.$2gtt
650 7 $aGénie logiciel.$2ram
650 07 $aLehrbuch.$2swd
650 07 $aSoftware Engineering.$2swd
653 $aSoftware
655 4 $aLehrbuch.
700 1 $aJazayeri, Mehdi.
700 1 $aMandrioli, Dino.
776 08 $iOnline version:$aGhezzi, Carlo.$tFundamentals of software engineering.$dEnglewood Cliffs, NJ : Prentice Hall, ©1991$w(OCoLC)645786345
856 41 $3Table of contents$uhttp://www.gbv.de/dms/bowker/toc/9780138204327.pdf
856 42 $uhttp://www.zentralblatt-math.org/zmath/en/search/?an=0827.68030$3Inhaltstext
938 $aBaker and Taylor$bBTCP$n90020198
938 $aYBP Library Services$bYANK$n78861
029 1 $aAU@$b000007627862
029 1 $aAU@$b000008139846
029 1 $aDEBBG$bBV004539562
029 1 $aDEBBG$bBV021942460
029 1 $aDEBSZ$b025916548
029 1 $aGBVCP$b019491190
029 1 $aGBVCP$b022308059
029 1 $aGBVCP$b115515291
029 1 $aHEBIS$b018933955
029 1 $aHEBIS$b053399242
029 1 $aNZ1$b3886436
029 1 $aYDXCP$b78861
029 1 $aZWZ$b02174677X
994 $aZ0$bP4A
948 $hHELD BY P4A - 258 OTHER HOLDINGS