-
1
المؤلفون: Martin Ward, Mike Hinchey, Jonathan P. Bowen, Helge Janicke, Hussein Zedan
المصدر: Computer. 47:86-89
مصطلحات موضوعية: General Computer Science, Computer science, Software walkthrough, Software development process, Software analytics, Software sizing, Formal specification, Software system, Software verification and validation, Project management, Software measurement, Social software engineering, business.industry, Empirical process (process control model), Software development, Formal methods, Software deployment, Software security assurance, Software construction, Personal software process, Package development process, Backporting, Lean software development, Software engineering, business, Software evolution, Software project management, Agile software development
وصف الملف: application/pdf
-
2
المؤلفون: D. Jeya Mala, A. Jalila
المصدر: ACM SIGSOFT Software Engineering Notes. 39:1-4
مصطلحات موضوعية: business.industry, Programming language, Computer science, Software development, Software requirements specification, General Medicine, Specification language, computer.software_genre, Formal methods, Software development process, Formal specification, Software design, Vienna Development Method, Software engineering, business, computer
-
3
المصدر: IEEE Transactions on Software Engineering. 40:895-910
مصطلحات موضوعية: Iterative and incremental development, Standardization, Computer science, business.industry, Software development, Formal methods, computer.software_genre, Feature model, Software development process, Software, Feature (computer vision), Software construction, Goal-Driven Software Development Process, Systems engineering, Domain analysis, Data mining, business, Software product line, computer, Software design description
-
4
المؤلفون: Kelvin Ross
مصطلحات موضوعية: Software development process, Computer science, business.industry, Software construction, Personal software process, Software development, Systems engineering, Package development process, Formal methods, business, Software engineering, Software project management, Software configuration management
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7069e770ded9f49908e4697b4f187954
https://doi.org/10.14264/uql.2017.251 -
5
المؤلفون: Camilo Rueda, Daniel Montes Garcia, Néstor Cataòo, Fernando Barraza, Pablo José Bombin Ortega
المصدر: Electronic Notes in Theoretical Computer Science. 240:5-21
مصطلحات موضوعية: Resource-oriented architecture, General Computer Science, Java, Team software process, Computer science, Software walkthrough, computer.software_genre, International Center for Tropical Agriculture (CIAT), Formal Methods, Theoretical Computer Science, Software development process, Software, Java Modeling Language (JML), Software requirements, Software verification and validation, Software system, Project management, Software design description, computer.programming_language, Social software engineering, business.industry, Programming language, Software development, Software Development, Formal methods, Software framework, Software deployment, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Personal software process, Software construction, Component-based software engineering, Package development process, Software design, business, computer, Software project management, Java Modeling Language, Computer Science(all)
-
6
المؤلفون: Yu Gao, Xiang Zhong Feng
المصدر: Advanced Materials Research. :2503-2507
مصطلحات موضوعية: Computer science, Software walkthrough, computer.software_genre, Development testing, Software development process, Software analytics, Software verification and validation, Software design description, Social software engineering, Iterative and incremental development, business.industry, General Engineering, Software development, Formal methods, Software metric, Software framework, Software deployment, Goal-Driven Software Development Process, Personal software process, Component-based software engineering, Software construction, Systems engineering, Package development process, Software reliability testing, business, Software engineering, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::505420a7ba139cd3e1c324460680fa77
https://doi.org/10.4028/www.scientific.net/amr.756-759.2503 -
7
المؤلفون: Shu Fen Liu, Tie Bao, Lu Han, Wu Cheng Wang, Qu Chen
المصدر: Advanced Materials Research. :1151-1154
مصطلحات موضوعية: Computer science, business.industry, General Engineering, Software development, Formal methods, Software quality, Software metric, Reliability engineering, Feature-oriented domain analysis, Software development process, Software, Software sizing, Software construction, Domain engineering, Domain analysis, Software reliability testing, Software verification and validation, business, Software measurement, Software verification, Reliability (statistics), Verification and validation
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::347fe478dc19ac467e75645666a6ed0f
https://doi.org/10.4028/www.scientific.net/amr.765-767.1151 -
8
المصدر: Information and Software Technology. 55:1017-1044
مصطلحات موضوعية: SQL, Programming language, Computer science, business.industry, Software development, Software requirements specification, computer.software_genre, Formal methods, Computer Science Applications, Software development process, Refinement calculus, Formal specification, Software requirements, business, Software engineering, computer, Software, Information Systems, computer.programming_language
-
9
المصدر: Knowledge and Information Systems. 40:79-126
مصطلحات موضوعية: business.industry, Computer science, Software development, computer.software_genre, Formal methods, Human-Computer Interaction, Software development process, Artificial Intelligence, Hardware and Architecture, Software sizing, Goal-Driven Software Development Process, Software construction, Package development process, Data mining, Software verification and validation, business, Software engineering, computer, Software, Information Systems
-
10
المؤلفون: Radoslav Štrba, Michal Kosinár
المصدر: PDeS
مصطلحات موضوعية: Computer science, computer.software_genre, Scrum, Software development process, Software analytics, Software, Software sizing, Information system, Software verification and validation, Software requirements, Software system, Discrete event simulation, Social software engineering, business.industry, Empirical process (process control model), Software development, General Medicine, Formal methods, Software metric, Software framework, Software deployment, Systems development life cycle, Software construction, Goal-Driven Software Development Process, Personal software process, Systems engineering, Software design, Package development process, Lean software development, business, computer, Agile software development