22 results
Search Results
2. Capturing student interest in software engineering through gamification: a systematic literature review
- Author
-
Matipa Ricky Ngandu, David Risinamhodzi, Godwin Pedzisai Dzvapatsva, and Courage Matobobo
- Subjects
Gamification ,Software Engineering ,Student interest ,Game elements ,Engagement ,Motivation ,Education - Abstract
Abstract ICT tools in education are widely used to support the aim of achieving learning outcomes by improving critical areas such as student engagement, participation, and motivation. In this study, we examine literature to explore how game elements are used in capturing students’ interest, which the study suggests is fundamental to the teaching and learning of Software Engineering in higher education. Given the potential of alternative ICT tools such as flipped classrooms to increase interest in learning activities, there is a gap in similar literature on capturing interest in gamified environments, which has the potential to improve the achievement of learning outcomes. We applied flow theory to provide a guiding frame for our study. Following a systematic literature review for our data, we analysed 15 papers from the initial 342 articles, which were extracted from IEEE Xplore and Science Direct databases. The main finding in the reviewed papers underscores the positive impact of gamified learning environments on capturing student interest when teaching and learning Software Engineering. While the reviewed papers were not conclusive in identifying the best game elements for capturing students’ interest, we found, that game elements such as points and leaderboards were the most common mechanisms used to advance students' interest when studying Software Engineering courses. The findings also suggest that different game elements are used in gamified environments to increase participation and engagement. The paper adds voice to the practical implications of gamification for teaching and learning. Although our study requires empirical evidence to validate our claims, we believe it sets the stage for further discussion. In the future, comparative studies of game elements in similar environments will be beneficial for identifying the ones that are more engaging and assessing their long-term impacts.
- Published
- 2023
- Full Text
- View/download PDF
3. Computer Aided Verification
- Author
-
Shoham, Sharon and Vizel, Yakir
- Subjects
architecting ,architecture verification and validation ,artificial intelligence ,computer programming ,computer science ,computer systems ,databases ,distributed computer systems ,embedded systems ,engineering ,formal languages ,formal logic ,linguistics ,mathematics ,model checking ,software architecture ,software design ,software engineering ,software quality ,theoretical computer science ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UY Computer science - Abstract
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
- Published
- 2022
- Full Text
- View/download PDF
4. Automated Reasoning
- Author
-
Blanchette, Jasmin, Kovács, Laura, and Pattinson, Dirk
- Subjects
artificial intelligence ,automata theory ,computer hardware ,computer networks ,computer programming ,computer systems ,embedded systems ,formal languages ,formal logic ,logic programming ,network protocols ,semantics ,software architecture ,software design ,software engineering ,theoretical computer science ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development - Abstract
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book.
- Published
- 2022
- Full Text
- View/download PDF
5. Tools and Algorithms for the Construction and Analysis of Systems
- Author
-
Groote, Jan Friso and Larsen, Kim Guldstrand
- Subjects
Theory of Computation ,Computer Systems Organization and Communication Networks ,Control Structures and Microprogramming ,Software Engineering ,Computer Engineering and Networks ,architecture verification and validation ,automata theory ,computer systems ,distributed computer systems ,embedded systems ,formal logic ,mathematics ,model checking ,model-checking ,parallel processing systems ,SAT and SMT solving ,software architecture ,static and dynamic program analysis ,theorem-proving ,verification and validation ,Computer science ,Mathematical theory of computation ,Computer networking & communications ,Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering - Abstract
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
- Published
- 2021
- Full Text
- View/download PDF
6. Smart Technologies for Precision Assembly
- Author
-
Ratchev, Svetan
- Subjects
Computer Applications ,Special Purpose and Application-Based Systems ,User Interfaces and Human Computer Interaction ,Robotics ,Computer and Information Systems Applications ,open access ,artificial intelligence ,computer vision ,hci ,human engineering ,human-computer interaction ,image processing ,manipulators ,mobile robots ,motion planning ,network protocols ,robots ,sensors ,signal processing ,software engineering ,telecommunication networks ,user interfaces ,Information technology: general issues ,Expert systems / knowledge-based systems ,User interface design & usability ,bic Book Industry Communication::U Computing & information technology::UB Information technology: general issues ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction - Abstract
This open access book constitutes the refereed post-conference proceedings of the 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, held virtually in December 2020. The 16 revised full papers and 10 revised short papers presented together with 1 keynote paper were carefully reviewed and selected from numerous submissions. The papers address topics such as assembly design and planning; assembly operations; assembly cells and systems; human centred assembly; and assistance methods in assembly.
- Published
- 2021
- Full Text
- View/download PDF
7. Computer Aided Verification
- Author
-
Silva, Alexandra and Leino, K. Rustan M.
- Subjects
architecture verification ,artificial intelligence ,computer programming ,distributed computer systems ,distributed systems ,embedded systems ,formal logic ,formal methods ,formal verifications ,model checker ,model checking ,signal processing ,software architecture ,software design ,software engineering ,software quality ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYM Computer modelling & simulation - Abstract
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
- Published
- 2021
- Full Text
- View/download PDF
8. Fundamental Approaches to Software Engineering
- Author
-
Wehrheim, Heike and Cabot, Jordi
- Subjects
Software Engineering ,Special Purpose and Application-Based Systems ,Control Structures and Microprogramming ,Computer System Implementation ,Information Systems and Communication Service ,Artificial Intelligence ,open access ,software engineering ,requirements engineering ,model-based design ,software analysis ,testing ,software architectures ,security ,model transformations ,software evolution ,software product lines ,architecting ,artificial intelligence ,computer programming ,computer systems ,embedded systems ,mathematics ,software architecture ,software design ,Expert systems / knowledge-based systems ,Algorithms & data structures ,Systems analysis & design ,Computer networking & communications ,Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence - Abstract
This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.
- Published
- 2020
- Full Text
- View/download PDF
9. Computer Aided Verification
- Author
-
Lahiri, Shuvendu K. and Wang, Chao
- Subjects
Software Engineering ,Theory of Computation ,Computer Systems Organization and Communication Networks ,Artificial Intelligence ,Information Systems and Communication Service ,Computer Hardware ,Computer Engineering and Networks ,Database Management System ,architecture verification and validation ,artificial intelligence ,computer hardware ,computer networks ,computer programming ,computer systems ,data security ,distributed computer systems ,embedded systems ,formal logic ,linguistics ,model checking ,network protocols ,parallel processing systems ,signal processing ,software architecture ,software design ,software quality ,verification and validation ,Open Access ,Computer science ,Mathematical theory of computation ,Computer networking & communications ,Artificial intelligence ,Computer hardware ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UK Computer hardware - Abstract
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
- Published
- 2020
- Full Text
- View/download PDF
10. Agile Processes in Software Engineering and Extreme Programming – Workshops
- Author
-
Paasivaara, Maria and Kruchten, Philippe
- Subjects
Management of Computing and Information Systems ,IT in Business ,Software Engineering ,IT Operations ,XP ,Agile software development ,Extreme programming ,Lean development ,Software measurement ,open access ,Software maintenance ,Software testing ,Empirical software engineering ,Software management ,Software development techniques ,Business agility ,Information architecture ,Maintenance & repairs ,Business mathematics & systems ,Business applications ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZM Information architecture ,bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems - Abstract
This open access book constitutes the 6 research workshops, the Agile Education and Training Track, the Doctoral Symposium, as well as a panel presented at XP 2020, the 21st International Conference on Agile Software Development, which was held during June 8-12, 2020. The conference was planned to take place at the IT University of Copenhagen, Denmark. Due to the COVID 19 pandemic, the conference was held online. In 2020, the following six workshops took place: Third International Workshop on Software-Intensive Business Eighth International Workshop on Large-Scale Agile Development Second European Symposium on Serverless Computing and Applications Second International Workshop on Agile Transformation First International Workshop on Agility with Microservices Programming Third International Workshop on Autonomous Agile Teams XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. The 31 papers presented in this volume were carefully reviewed and selected from overall 79 submissions. In addition to the 26 workshop papers, this volume also includes 2 papers from the Agile Education and Training Track and 3 papers from the Doctoral Symposium. Furthermore, the book contains a summary of a panel discussion with the topic “Covid-19’s Influence on the Future of Agile”.
- Published
- 2020
- Full Text
- View/download PDF
11. Tools and Algorithms for the Construction and Analysis of Systems
- Author
-
Biere, Armin and Parker, David
- Subjects
Software Engineering/Programming and Operating Systems ,Special Purpose and Application-Based Systems ,Computer System Implementation ,Control Structures and Microprogramming ,Mathematics of Computing ,open access ,specification and verification techniques ,software and hardware verification ,SAT and SMT solving ,theorem proving ,model checking ,static and dynamic program analysis ,testing ,system construction and transformation techniques ,tool environments and tool architectures ,abstraction techniques for modeling and verification ,compositional and refinement-based methodologies ,mathematics ,software engineering ,software design ,architecting ,software architecture ,embedded systems ,automata theory ,linguistics ,Software Engineering ,Operating systems ,Expert systems / knowledge-based systems ,Systems analysis & design ,Algorithms & data structures ,Mathematical theory of computation ,Maths for computer scientists ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation - Abstract
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
- Published
- 2020
- Full Text
- View/download PDF
12. An extended ANSI C for processors with a multimedia extension
- Author
-
Bulic, Patricio and Gustin, Veselko
- Subjects
C programming language ,Software development/engineering ,C programming language -- Usage ,Multimedia software -- Product development ,Software engineering - Abstract
This paper presents the Multimedia C language, which is designed for the multimedia extensions included in all modern microprocessors. The paper discusses the language syntax, the implementation of its compiler and its use in developing multimedia applications. The goal was to provide programmers with the most natural way of using multimedia processing facilities in the C language. The MMC language has been used to develop some of the most frequently used multimedia kernels. The presented experiments on these scientific and multimedia applications have yielded good performance improvements. KEY WORDS: Vector C; SIMD processing; ISA multimedia extensions.
- Published
- 2003
13. Ernst Denert Award for Software Engineering 2020
- Author
-
Felderer, Michael, Hasselbring, Wilhelm, Koziolek, Heiko, Matthes, Florian, Prechelt, Lutz, Reussner, Ralf, Rumpe, Bernhard, and Schaefer, Ina
- Subjects
Software Engineering ,Software Development ,Requirements Engineering ,Software Modeling ,Software Research ,Ernst Denert Award ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZM Information architecture - Abstract
This open access book provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering in 2020. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice. The book contains eleven papers that describe the works by Jonathan Brachthäuser (EPFL Lausanne) entitled What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style, Mojdeh Golagha’s (Fortiss, Munich) thesis How to Effectively Reduce Failure Analysis Time?, Nikolay Harutyunyan’s (FAU Erlangen-Nürnberg) work on Open Source Software Governance, Dominic Henze’s (TU Munich) research about Dynamically Scalable Fog Architectures, Anne Hess’s (Fraunhofer IESE, Kaiserslautern) work on Crossing Disciplinary Borders to Improve Requirements Communication, Istvan Koren’s (RWTH Aachen U) thesis DevOpsUse: A Community-Oriented Methodology for Societal Software Engineering, Yannic Noller’s (NU Singapore) work on Hybrid Differential Software Testing, Dominic Steinhofel’s (TU Darmstadt) thesis entitled Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules, Peter Wägemann’s (FAU Erlangen-Nürnberg) work Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems, Michael von Wenckstern’s (RWTH Aachen U) research on Improving the Model-Based Systems Engineering Process, and Franz Zieris’s (FU Berlin) thesis on Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics – which actually won the award. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.
- Published
- 2022
- Full Text
- View/download PDF
14. Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries
- Author
-
Crimi, Alessandro and Bakas, Spyridon
- Subjects
artificial intelligence ,bioinformatics ,computer science ,computer systems ,computer vision ,education ,image analysis ,image processing ,image segmentation ,learning ,machine learning ,medical images ,neural networks ,pattern recognition ,segmentation methods ,software design ,software engineering ,software quality ,validation ,verification and validation ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYT Image processing ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UB Information technology: general issues - Abstract
This two-volume set LNCS 12962 and 12963 constitutes the thoroughly refereed proceedings of the 7th International MICCAI Brainlesion Workshop, BrainLes 2021, as well as the RSNA-ASNR-MICCAI Brain Tumor Segmentation (BraTS) Challenge, the Federated Tumor Segmentation (FeTS) Challenge, the Cross-Modality Domain Adaptation (CrossMoDA) Challenge, and the challenge on Quantification of Uncertainties in Biomedical Image Quantification (QUBIQ). These were held jointly at the 23rd Medical Image Computing for Computer Assisted Intervention Conference, MICCAI 2020, in September 2021. The 91 revised papers presented in these volumes were selected form 151 submissions. Due to COVID-19 pandemic the conference was held virtually. This is an open access book.
- Published
- 2022
- Full Text
- View/download PDF
15. Fundamental Approaches to Software Engineering
- Author
-
Guerra, Esther and Stoelinga, Mariëlle
- Subjects
Software Engineering/Programming and Operating Systems ,Data Structures and Information Theory ,Natural Language Processing (NLP) ,Programming Techniques ,Theory of Computation ,Software Engineering ,architecture verification and validation ,artificial intelligence ,embedded systems ,empirical software validation ,formal logic ,formal methods ,model checking ,model-driven software engineering ,object-oriented programming ,parallel processing systems ,program analysis ,program compilers ,signal processing ,software architecture ,software performance ,software selection and adaptation ,software testing and debugging ,telecommunication systems ,verification ,Operating systems ,Algorithms & data structures ,Information theory ,Natural language & machine translation ,Computer programming / software engineering ,Computer science ,Mathematical theory of computation ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UY Computer science - Abstract
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
- Published
- 2021
- Full Text
- View/download PDF
16. Agile Processes in Software Engineering and Extreme Programming
- Author
-
Gregory, Peggy, Lassenius, Casper, Wang, Xiaofeng, and Kruchten, Philippe
- Subjects
Software Engineering/Programming and Operating Systems ,IT in Business ,Management of Computing and Information Systems ,Software Engineering ,IT Operations ,Agile software development ,Software creation and management ,Scrum ,Lean software development ,Process management ,open access ,Test-driven development ,Project and people management ,Software development techniques ,Risk management ,Operating systems ,Business mathematics & systems ,Business applications ,Information architecture ,Maintenance & repairs ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZM Information architecture - Abstract
This open access book constitutes the proceedings of the 22nd International Conference on Agile Software Development, XP 2021, which was held virtually during June 14-18, 2021. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. This year’s conference was held with the theme “Agile Turns Twenty While the World Goes Online”. The 11 full and 2 short papers presented in this volume were carefully reviewed and selected from 38 submissions. They were organized in topical sections named: agile practices; process assessment; large-scale agile; and short contributions.
- Published
- 2021
- Full Text
- View/download PDF
17. Programming Languages and Systems
- Author
-
Yoshida, Nobuko
- Subjects
Programming Languages, Compilers, Interpreters ,Natural Language Processing (NLP) ,Software Engineering ,Logics and Meanings of Programs ,Computer Systems Organization and Communication Networks ,Compilers and Interpreters ,Computer Science Logic and Foundations of Programming ,Computer Engineering and Networks ,computer programming ,concurrency theory ,distributed computer systems ,formal logic ,lamdba calculi ,linguistics ,logic ,object-oriented programming ,parallel processing systems ,probabilistic programming ,process calculi ,program compilers ,semantics ,software design ,software quality ,theory ,types ,verification and validation ,Programming & scripting languages: general ,Compilers & interpreters ,Natural language & machine translation ,Computer programming / software engineering ,Computer architecture & logic design ,Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications - Abstract
This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
- Published
- 2021
- Full Text
- View/download PDF
18. Agile Processes in Software Engineering and Extreme Programming
- Author
-
Stray, Viktoria, Hoda, Rashina, Paasivaara, Maria, and Kruchten, Philippe
- Subjects
Software Engineering ,IT in Business ,Management of Computing and Information Systems ,IT Operations ,Agile software development ,Software creation and management ,Scrum ,Lean software development ,Process management ,open access ,Test-driven development ,Project and people management ,Software development techniques ,Risk management ,Business mathematics & systems ,Business applications ,Information architecture ,Maintenance & repairs ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZM Information architecture - Abstract
This open access book constitutes the proceedings of the 21st International Conference on Agile Software Development, XP 2020, which was planned to be held during June 8-12, 2020, at the IT University of Copenhagen, Denmark. However, due to the COVID-19 pandemic the conference was postponed until an undetermined date. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Following this history, for both researchers and seasoned practitioners XP 2020 provided an informal environment to network, share, and discover trends in Agile for the next 20 years. The 14 full and 2 short papers presented in this volume were carefully reviewed and selected from 37 submissions. They were organized in topical sections named: agile adoption; agile practices; large-scale agile; the business of agile; and agile and testing.
- Published
- 2020
- Full Text
- View/download PDF
19. Programming Languages and Systems
- Author
-
Müller, Peter
- Subjects
Programming Languages, Compilers, Interpreters ,Computer Systems Organization and Communication Networks ,Control Structures and Microprogramming ,Information Systems and Communication Service ,Natural Language Processing (NLP) ,Theory of Computation ,artificial intelligence ,computer networks ,computer programming ,computer security ,distributed computer systems ,embedded systems ,formal languages ,formal logic ,linguistics ,mathematics ,model checking ,object-oriented programming ,parallel processing systems ,program compilers ,semantics ,software architecture ,software design ,software engineering ,software quality ,verification and validation ,Programming & scripting languages: general ,Compilers & interpreters ,Computer networking & communications ,Algorithms & data structures ,Natural language & machine translation ,Computer science ,Mathematical theory of computation ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language & machine translation ,bic Book Industry Communication::U Computing & information technology::UY Computer science - Abstract
This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
- Published
- 2020
- Full Text
- View/download PDF
20. SEffEst: Effort estimation in software projects using fuzzy logic and neural networks
- Author
-
Israel González-Carrasco, Ricardo Colomo-Palacios, José Luis López-Cuadrado, and Francisco José García Peñalvo
- Subjects
Fuzzy Logic ,Neural Networks ,Software Engineering ,Effort Estimation ,Electronic computers. Computer science ,QA75.5-76.95 - Abstract
Academia and practitioners confirm that software project effort prediction is crucial for an accurate software project management. However, software development effort estimation is uncertain by nature. Literature has developed methods to improve estimation correctness, using artificial intelligence techniques in many cases. Following this path, this paper presents SEffEst, a framework based on fuzzy logic and neural networks designed to increase effort estimation accuracy on software development projects. Trained using ISBSG data, SEffEst presents remarkable results in terms of prediction accuracy.
- Published
- 2012
- Full Text
- View/download PDF
21. Fuzzy Specification in Real Estate Market Decision Making
- Author
-
Victoria Lopez, Matilde Santos, and Javier Montero
- Subjects
Fuzzy Logic ,Fuzzy Requirements ,Decision Making ,Estates Valuation ,Software Engineering ,Electronic computers. Computer science ,QA75.5-76.95 - Abstract
In this paper we present a software tool designed as a decision aid system for all actors being involved when buying or selling real state, client and realtor, where a main objective for the commercial is to concentrate the client preferences into few alternatives. Since the required previous analysis implies a number of fuzzy concepts, the general procedure here presented considers fuzzy logic to deal with specifications. As a consequence, time devoted to elicitation and requirement analysis is reduced.
- Published
- 2010
- Full Text
- View/download PDF
22. Software engineering between technics and science: recent discussions about the foundations and the scientificness of a rising discipline
- Author
-
Gruner, Stefan
- Subjects
Computer software industry ,Internet software ,Software engineering ,Software development/engineering ,Humanities - Abstract
'Es steht gegenwartig allen Wissenschaften eine Wiedergeburt in Ansehung ihrer Begriffe und der Geistlosigkeit bevor, die wissenschaftlichen Inhalt in blosses Material verwandelt und die Begriffe, deren sie zu handhaben gewohnlich [...]
- Published
- 2010
- Full Text
- View/download PDF
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.