Results 21 to 30 of about 234,895 (212)
Preface: The 3rd International Day on Computer Science and Applied Mathematics (ICSAM’23)
Computer Sciences & Mathematics Forum, 2023 The Scientific Association of Academic Researchers (ASCA) and Software Engineering & Information Systems Engineering Team (GL-ISI) organized, in collaboration with Moulay Ismail University, the 3rd International Day on Computer Science and Applied ...
Abdeslam Jakimi, Mohamed Oualla
doaj +1 more source
LGBTQIA+ (In) Visibility in Computer Science and Software Engineering Education
2023 IEEE/ACM 16th International Conference on Cooperative and Human Aspects of Software Engineering (CHASE), 2023 Modern society is diverse, multicultural, and multifaceted. Because of these characteristics, we are currently observing an increase in the debates about equity, diversity, and inclusion in different areas, especially because several groups of individuals are underrepresented in many environments.
Ronnie Edson de Souza Santos +2 more
openaire +2 more sources
Engineering for a science-centric experimentation platform [PDF]
, 2020 Netflix is an internet entertainment service that routinely employs experimentation to guide strategy around product innovations. As Netflix grew, it had the opportunity to explore increasingly specialized improvements to its service, which generated ...
Gerostathopoulos, Ilias; id_orcid +22 more
core +1 more source
Modal Interface Automata [PDF]
Logical Methods in Computer Science, 2013 De Alfaro and Henzinger's Interface Automata (IA) and Nyman et al.'s recent combination IOMTS of IA and Larsen's Modal Transition Systems (MTS) are established frameworks for specifying interfaces of system components.
Gerald Lüttgen, Walter Vogler
doaj +1 more source
On the historical semantics of the notion of software architecture
The Journal for Transdisciplinary Research in Southern Africa, 2014 This study outlines in some detail the semantic variety of the notion of ‘software architecture’ in the field of software engineering since the early 1970s.
Stefan Gruner
doaj +1 more source
Interpolant-Based Transition Relation Approximation [PDF]
Logical Methods in Computer Science, 2007 In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, software model checkers typically use a weak approximation of the image.
Ranjit Jhala, Kenneth L. McMillan
doaj +1 more source
Development of an Educational Application for Software Engineering Learning
Computers, 2021 Software engineering is a complicated subject for computer engineering students since the explained knowledge and necessary competencies are more related to engineering as a general knowledge area than to computer science.
Antonio Sarasa-Cabezuelo +1 more
doaj +1 more source
Requirements engineering: a close look at industry needs and a model curricula
, 2004 Research endeavours in software development have found that failures and deficiencies of software systems are often rooted in the requirements activities undertaken.
Oliver Minor +5 more
core +2 more sources
IEEE Access, 2017 Nowadays, remote collaborative learning tools for computer science education mostly emphasize providing learning resources and realizing virtual collaborative learning environment for students.
Qing Ding, Sitan Cao
doaj +1 more source
, 2022 Possible for science itself, conceptually, to have and will understand differently, let alone science also seen as technology, such as computer science.
Nasution, Mahyuddin K. M.; Computer Science, Universitas Sumatera Utara, Jl. Universitas No. 9 Padang Bulan, Medan, 20155, Indonesia +2 more
core +1 more source