標(biāo)題: Titlebook: Concise Guide to Software Engineering; From Fundamentals to Gerard O‘Regan Textbook 20171st edition Springer International Publishing AG 20 [打印本頁(yè)] 作者: Localized 時(shí)間: 2025-3-21 16:29
書(shū)目名稱Concise Guide to Software Engineering影響因子(影響力)
書(shū)目名稱Concise Guide to Software Engineering影響因子(影響力)學(xué)科排名
書(shū)目名稱Concise Guide to Software Engineering網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱Concise Guide to Software Engineering網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱Concise Guide to Software Engineering被引頻次
書(shū)目名稱Concise Guide to Software Engineering被引頻次學(xué)科排名
書(shū)目名稱Concise Guide to Software Engineering年度引用
書(shū)目名稱Concise Guide to Software Engineering年度引用學(xué)科排名
書(shū)目名稱Concise Guide to Software Engineering讀者反饋
書(shū)目名稱Concise Guide to Software Engineering讀者反饋學(xué)科排名
作者: Ceramic 時(shí)間: 2025-3-21 23:48 作者: Postmenopause 時(shí)間: 2025-3-22 01:40 作者: 有毒 時(shí)間: 2025-3-22 04:58
Pierre Legendre,H. John B. Birks employ a classical two-valued logic. The use of mathematics ensures precision and allows inconsistencies and gaps in the specification to be identified. Theorem provers may be employed to demonstrate that the software implementation meets its specification.作者: Duodenitis 時(shí)間: 2025-3-22 10:12 作者: 顧客 時(shí)間: 2025-3-22 14:56 作者: 顧客 時(shí)間: 2025-3-22 18:52
Background,ced, and it has become very popular in industry. Mathematics may potentially assist software engineers in delivering high-quality software products that are safe to use and the extent to which mathematics should be employed remains a topic of active debate.作者: 消散 時(shí)間: 2025-3-22 23:12 作者: 試驗(yàn) 時(shí)間: 2025-3-23 02:09
Z Formal Specification Language, employ a classical two-valued logic. The use of mathematics ensures precision and allows inconsistencies and gaps in the specification to be identified. Theorem provers may be employed to demonstrate that the software implementation meets its specification.作者: 競(jìng)選運(yùn)動(dòng) 時(shí)間: 2025-3-23 06:24
Exploratory Data Analysis and Data Displayn, and they may be employed to formally state the requirements of the proposed system and to derive a program from its mathematical specification. They may be employed to provide a rigorous proof that the implemented program satisfies its specification, and they have been applied mainly to the safety-critical field.作者: 姑姑在炫耀 時(shí)間: 2025-3-23 11:52
1863-7310 software process improvement, describing the CMMI model, and introduces UML, a visual modelling language for software systems; reviews a range of tools to support various activities in software engineering, and978-3-319-57750-0Series ISSN 1863-7310 Series E-ISSN 2197-1781 作者: 使痛苦 時(shí)間: 2025-3-23 17:03
Textbook 20171st editionive a program from its specification, introducing the Z specification language; discusses software process improvement, describing the CMMI model, and introduces UML, a visual modelling language for software systems; reviews a range of tools to support various activities in software engineering, and作者: antidote 時(shí)間: 2025-3-23 20:37 作者: Forehead-Lift 時(shí)間: 2025-3-24 01:52
Undergraduate Topics in Computer Sciencehttp://image.papertrans.cn/c/image/235113.jpg作者: Scintillations 時(shí)間: 2025-3-24 04:58
G. Imfeld,G. Skrzypek,J. Adu-Gyamfi,L. Hengscuss requirements gathering and specification, software design, implementation, testing and maintenance. The lightweight Agile methodology is introduced, and it has become very popular in industry. Mathematics may potentially assist software engineers in delivering high-quality software products th作者: BABY 時(shí)間: 2025-3-24 10:25
Suresh Merugu,Amit Kumar,George Ghineael architecture of the system, as well as the detailed design that describes the algorithms and functionality of the individual programs. The detailed design is then implemented in a programming language such as C++?or Java. We discuss software development topics such as software reuse, customized-o作者: 墊子 時(shí)間: 2025-3-24 13:30 作者: 強(qiáng)行引入 時(shí)間: 2025-3-24 15:24
Exploratory Data Analysis and Data Display the software. They consist of a formal specification language and employ a collection of tools to support the syntax checking of the specification, as well as the proof of properties of the specification. They allow questions to be asked about what the system does independently of the implementatio作者: 大范圍流行 時(shí)間: 2025-3-24 19:22
Pierre Legendre,H. John B. Birks Zermelo set theory. It was developed at the Programming Research Group at Oxford University in the early 1980s. Z specifications are mathematical and employ a classical two-valued logic. The use of mathematics ensures precision and allows inconsistencies and gaps in the specification to be identifi作者: fiscal 時(shí)間: 2025-3-25 01:57
Pierre Legendre,H. John B. Birksal views of the system architecture. It was developed at rational corporation as a notation for modelling object-oriented systems. We present various UML diagrams such as use case diagrams, sequence diagrams and activity diagrams.作者: arthroplasty 時(shí)間: 2025-3-25 03:50
Introduction and Overview of Part IIIrom a software process improvement initiative. Various models that support software process improvement are discussed, and these include the Capability Maturity Model Integration (CMMI), ISO 9000, Personal Software Process (PSP) and Team Software Process (TSP).作者: Gum-Disease 時(shí)間: 2025-3-25 10:35 作者: neutralize 時(shí)間: 2025-3-25 14:35 作者: 啪心兒跳動(dòng) 時(shí)間: 2025-3-25 16:44
Suzanne A. G. Leroy,Steve M. Colmanhe direction of a project throughout the development lifecycle, and ongoing changes to requirements are considered normal in the Agile world. It has a strong collaborative style of working, and it advocates adaptive planning and evolutionary development.作者: poliosis 時(shí)間: 2025-3-25 21:49
John R. Glew,John P. Smol,William M. Last), software as a service (SaaS), cloud computing and embedded systems. We discuss the need for innovation in software engineering and discuss some recent innovations including aspect-oriented software engineering (AOSE).作者: NUL 時(shí)間: 2025-3-26 00:53
Concise Guide to Software Engineering978-3-319-57750-0Series ISSN 1863-7310 Series E-ISSN 2197-1781 作者: phlegm 時(shí)間: 2025-3-26 05:54
Lecture Notes in Electrical Engineeringopriate metrics for the organization. The Goal, Question, Metrics (GQM) approach is discussed, and this allows metrics related to the organization goals to be defined. A selection of sample metrics for an organization is presented, and problem-solving tools such as fishbone diagrams, Pareto charts, trend charts are discussed.作者: hematuria 時(shí)間: 2025-3-26 10:59
Pierre Legendre,H. John B. Birksal views of the system architecture. It was developed at rational corporation as a notation for modelling object-oriented systems. We present various UML diagrams such as use case diagrams, sequence diagrams and activity diagrams.作者: 并入 時(shí)間: 2025-3-26 15:05 作者: 憤慨一下 時(shí)間: 2025-3-26 18:47
Developments in Paleoenvironmental Researchd and continuous representations of the CMMI, and SCAMPI appraisals that indicate the extent to which the CMMI has been implemented in the organization, as well as identifying opportunities for improvement.作者: 感情 時(shí)間: 2025-3-26 22:23 作者: Polydipsia 時(shí)間: 2025-3-27 02:39
Suzanne A. G. Leroy,Steve M. Colmanhe direction of a project throughout the development lifecycle, and ongoing changes to requirements are considered normal in the Agile world. It has a strong collaborative style of working, and it advocates adaptive planning and evolutionary development.作者: 四目在模仿 時(shí)間: 2025-3-27 09:00 作者: 虛假 時(shí)間: 2025-3-27 11:06 作者: PLE 時(shí)間: 2025-3-27 16:50 作者: Hyperalgesia 時(shí)間: 2025-3-27 19:50 作者: BOGUS 時(shí)間: 2025-3-27 22:12
Samuel J. Davey,Han X. GaetjensThis chapter discusses software inspections, which play an important role in building quality into a product. The well-known Fagan inspection process that was developed at IBM in the 1970s is discussed, as well as lighter review and walkthrough methodologies.作者: FECT 時(shí)間: 2025-3-28 04:30
,Apollo-Soyuz — The End of the Apollo Era,This chapter is concerned with software testing and discusses the various types of testing that may be carried out during the project. We discuss test planning, test case definition, test environment set-up, test execution, test tracking, test metrics, test reporting and testing in an e-commerce environment.作者: 嚴(yán)厲批評(píng) 時(shí)間: 2025-3-28 06:20
https://doi.org/10.1007/978-1-4471-0255-7This chapter is concerned with the selection and management of a software supplier. It discusses how candidate suppliers may be identified, formally evaluated against defined selection criteria, and how the appropriate supplier is selected. We discuss how the selected supplier is managed during the project.作者: 元音 時(shí)間: 2025-3-28 12:38
https://doi.org/10.1007/978-981-16-6514-1This chapter discusses software quality assurance and the importance of process quality. It is a premise in the quality field that good processes and conformance to them are essential for the delivery of high-quality product, and this chapter discusses audits and describes how they are carried out.作者: 護(hù)航艦 時(shí)間: 2025-3-28 17:46
Lecture Notes in Electrical EngineeringThis chapter discusses software reliability and dependability and covers topics such as software reliability and software reliability models, the Cleanroom methodology, system availability, safety and security critical systems and dependability engineering.作者: Prognosis 時(shí)間: 2025-3-28 18:57 作者: 維持 時(shí)間: 2025-3-29 02:52
Requirements Engineering,This chapter discusses requirements engineering and discusses activities such as requirements gathering, requirements elicitation, requirements analysis, requirements management, and requirements verification and validation.作者: Inclement 時(shí)間: 2025-3-29 04:25 作者: Migratory 時(shí)間: 2025-3-29 09:36 作者: 參考書(shū)目 時(shí)間: 2025-3-29 14:23
Software Testing,This chapter is concerned with software testing and discusses the various types of testing that may be carried out during the project. We discuss test planning, test case definition, test environment set-up, test execution, test tracking, test metrics, test reporting and testing in an e-commerce environment.作者: 出沒(méi) 時(shí)間: 2025-3-29 15:43 作者: 先驅(qū) 時(shí)間: 2025-3-29 23:22
Software Quality Assurance,This chapter discusses software quality assurance and the importance of process quality. It is a premise in the quality field that good processes and conformance to them are essential for the delivery of high-quality product, and this chapter discusses audits and describes how they are carried out.作者: 木質(zhì) 時(shí)間: 2025-3-30 03:42 作者: 高興去去 時(shí)間: 2025-3-30 07:24 作者: 不可接觸 時(shí)間: 2025-3-30 10:08 作者: Generosity 時(shí)間: 2025-3-30 12:32
Software Metrics and Problem-Solving,opriate metrics for the organization. The Goal, Question, Metrics (GQM) approach is discussed, and this allows metrics related to the organization goals to be defined. A selection of sample metrics for an organization is presented, and problem-solving tools such as fishbone diagrams, Pareto charts, trend charts are discussed.作者: 自愛(ài) 時(shí)間: 2025-3-30 19:09 作者: 救護(hù)車(chē) 時(shí)間: 2025-3-30 22:54 作者: RODE 時(shí)間: 2025-3-31 01:17 作者: 減少 時(shí)間: 2025-3-31 05:39 作者: CHAR 時(shí)間: 2025-3-31 10:37 作者: ANNUL 時(shí)間: 2025-3-31 14:48
A Miscellany of Innovation,), software as a service (SaaS), cloud computing and embedded systems. We discuss the need for innovation in software engineering and discuss some recent innovations including aspect-oriented software engineering (AOSE).作者: Charlatan 時(shí)間: 2025-3-31 20:06
Background,scuss requirements gathering and specification, software design, implementation, testing and maintenance. The lightweight Agile methodology is introduced, and it has become very popular in industry. Mathematics may potentially assist software engineers in delivering high-quality software products th作者: 暫時(shí)過(guò)來(lái) 時(shí)間: 2025-3-31 23:27
Software Design and Development,el architecture of the system, as well as the detailed design that describes the algorithms and functionality of the individual programs. The detailed design is then implemented in a programming language such as C++?or Java. We discuss software development topics such as software reuse, customized-o作者: 拖債 時(shí)間: 2025-4-1 03:23
Software Metrics and Problem-Solving,opriate metrics for the organization. The Goal, Question, Metrics (GQM) approach is discussed, and this allows metrics related to the organization goals to be defined. A selection of sample metrics for an organization is presented, and problem-solving tools such as fishbone diagrams, Pareto charts, 作者: slow-wave-sleep 時(shí)間: 2025-4-1 06:03 作者: 勤勉 時(shí)間: 2025-4-1 12:36 作者: AROMA 時(shí)間: 2025-4-1 17:52 作者: 黃油沒(méi)有 時(shí)間: 2025-4-1 19:47
Software Process Improvement,rom a software process improvement initiative. Various models that support software process improvement are discussed, and these include the Capability Maturity Model Integration (CMMI), ISO 9000, Personal Software Process (PSP) and Team Software Process (TSP).
