Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Subjects: “…Software engineering.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

Subjects: “…Software engineering.…”
Link to Metadata

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /

Subjects: “…Software engineering.…”
Link to Metadata

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /

Subjects: “…Software engineering.…”
Link to Metadata

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /

Subjects: “…Software engineering.…”
Link to Metadata

GUI Design for Android Apps by Cohen, Ryan, Wang, Tao

Subjects: Link to Metadata

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

Subjects: Link to Metadata

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Subjects: Link to Metadata

Software Business 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings /

Table of Contents: “…Evolving Division of Responsibilities in a B2B Platform -- Understanding User Feedback in Software Ecosystems: A Study on Challenges and Mitigation Strategies -- A Survey on Perceptions of Data Sharing in the Norwegian Public Sector -- What are the barriers that women face in proprietary software ecosystem -- Artificial Intelligence -- Business and ethical concerns in domestic Conversational Generative AI-empowered multi-robot systems -- Prompt Patterns for Agile Software Project Managers: First results -- Startup creation beyond hackathons - A survey on startup development and support -- How to start collaborations between SMEs and researchers in software engineering -- Towards a Business Case for AI Ethics -- What is the Cost of AI Ethics? …”
Link to Metadata

Cyber-Physical Systems of Systems Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy /

Subjects: Link to Metadata

Managed Software Evolution

Subjects: DOAB: download the publication
DOAB: description of the publication

Managed Software Evolution

Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication

Deriving Goal-oriented Performance Models by Systematic Experimentation by Westermann, Dennis

Subjects: “…Performance Software Engineering ModellierungPerformance Engineering Software Modeling…”
DOAB: download the publication
DOAB: description of the publication

Interfaces on Trial 2.0 by Band, Jonathan

Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication

Deployment and Operation of Complex Software in Heterogeneous Execution Environments The SODALITE Approach /

Subjects: “…Software engineering.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: Link to Metadata

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II /

Subjects: “…Software engineering.…”
Link to Metadata

Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings /

Subjects: Link to Metadata

Solving PDEs in Python The FEniCS Tutorial I / by Langtangen, Hans Petter, Logg, Anders

Subjects: Link to Metadata