Search

Showing total 48 results

Search Constraints

Start Over You searched for: Topic computer science Remove constraint Topic: computer science Topic software engineering Remove constraint Topic: software engineering Publication Year Range Last 10 years Remove constraint Publication Year Range: Last 10 years Publisher springer nature Remove constraint Publisher: springer nature
48 results

Search Results

1. Publish or perish, but do not forget your software artifacts.

2. Guest Editorial Special Issue "Recent Trends on Advanced Computing: The Converging Technologies".

3. Analysis of co-authorship graphs of CORE-ranked software conferences.

4. Special issue on advances in data, information and knowledge engineering in data science era.

5. Preface.

6. Guest editorial for the special section on SEFM 2020 and 2021.

7. Search. Review. Repeat? An empirical study of threats to replicating SLR searches.

8. Guest editorial to the special section on SEFM'22.

9. Toward the visual understanding of computing curricula.

10. Preface to the special section on improving software quality through formal methods.

11. Gamification in education: a mixed-methods study of gender on computer science students' academic performance and identity development.

12. Modeling event-based communication in component-based software architectures for performance predictions.

13. Models as the subject of education.

14. Guest editorial: special section on software reverse engineering.

15. Deriving performance-relevant infrastructure properties through model-based experiments with Ginpex.

16. Effects of stability on model composition effort: an exploratory study.

17. Stateful component-based performance models.

18. Participative Urban Health and Healthy Aging in the Age of AI

19. Computer Aided Verification

20. Law Smells: Defining and Detecting Problematic Patterns in Legal Drafting.

21. Tools and Algorithms for the Construction and Analysis of Systems

22. Computer Aided Verification

23. Tools and Algorithms for the Construction and Analysis of Systems

24. Software Product Quality Models, Developments, Trends and Evaluation

25. Tools and Algorithms for the Construction and Analysis of Systems

26. Fundamental Approaches to Software Engineering

27. Computer Aided Verification

28. Agile Processes in Software Engineering and Extreme Programming – Workshops

29. Towards a methodology for knowledge reuse based on semantic repositories

30. Computer Aided Verification

31. Designing a Process Mining-Enabled Decision Support System for Business Process Standardization in ERP Implementation Projects

32. What distinguishes great software engineers?

33. Accessibility Testing of European Health-Related Websites.

34. Accessible software development: a conceptual model proposal.

35. Example-driven modeling: on effects of using examples on structural model comprehension, what makes them useful, and how to create them.

36. Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries

37. Special Issue on Syntax-Guided Synthesis Preface.

38. Fundamental Approaches to Software Engineering

39. A Runtime Safety Enforcement Approach by Monitoring and Adaptation

40. Evaluating probabilistic models with uncertain model parameters.

41. Programming Languages and Systems

42. The Future of Software Quality Assurance

43. Principles of Security and Trust

44. Agile Processes in Software Engineering and Extreme Programming

45. INDIGO-DataCloud: a platform to facilitate seamless access to e-infrastructures

46. Using AUTOSAR high-level specifications for the synthesis of security components in automotive systems

47. Extending science gateway frameworks to support Big Data applications in the cloud

48. RASTtk: A modular and extensible implementation of the RAST algorithm for building custom annotation pipelines and annotating batches of genomes