Výsledky vyhľadávania - "Stefania Gnesi"

European Community under the “Information Society Technologies”

Autori: Author(s) Jörg Bauer (dtu Luis Caires (ffcul Stefania Gnesi (isti a ďalší

Prispievatelia: Author(s) Jörg Bauer (dtu Luis Caires (ffcul Stefania Gnesi (isti a ďalší

Zdroj: http://www.pst.ifi.lmu.de/projekte/Sensoria/del_24/D3.b.pdf.

Predmety: Contents

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.358; http://www.pst.ifi.lmu.de/projekte/Sensoria/del_24/D3.b.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.358
http://www.pst.ifi.lmu.de/projekte/Sensoria/del_24/D3.b.pdf

Replication in Requirements Engineering: The NLP for RE Case.

Autori: Abualhaija, Sallam Aydemir, F. Basak Dalpiaz, Fabiano a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Jul2024, Vol. 33 Issue 6, p1-33, 33p

Predmety: REQUIREMENTS engineering, NATURAL language processing, DATA replication, EDUCATIONAL objectives, DESIGN science

Editorial: Understanding and engineering cyber-physical collectives.

Autori: Casadei, Roberto Esterle, Lukas Gamble, Rose a ďalší

Zdroj: Frontiers in Robotics & AI; 2024, p1-5, 5p

Predmety: ENGINEERING, DISCRETE systems, SYMBOLIC computation, SWARM intelligence, SOFTWARE engineering, MULTIAGENT systems, BIOLOGICALLY inspired computing

A Compositional Theory of Linearizability.

Autori: Oliveira Vale, Arthur Shao, Zhong Chen, Yixuan

Zdroj: Journal of the ACM; Apr2024, Vol. 71 Issue 2, p1-107, 107p

Predmety: MATHEMATICAL category theory, PROGRAMMING languages, LANGUAGE research, SEMANTICS

ON BISIMILARITY FOR QUASI-DISCRETE CLOSURE SPACES.

Autori: CIANCIA, VINCENZO LATELLA, DIEGO MASSINK, MIEKE a ďalší

Zdroj: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 3, p1-39, 39p

Predmety: MODAL logic, BISIMULATION, TOPOLOGICAL spaces

A Road-Map to Readily Available Early Validation and Verification of System Behaviour in Model-Based Systems Engineering using Software Engineering Best Practices.

Autori: Cederbladh, Johan Cicchetti, Antonio Jongeling, Robbert

Zdroj: ACM Transactions on Software Engineering & Methodology; Jun2025, Vol. 34 Issue 5, p1-30, 30p

Predmety: SYSTEMS engineering, TECHNOLOGICAL innovations, SOFTWARE engineering, NATURAL languages, MARKET timing

Formal Verification of Autonomous Vehicle Group Control Systems via Specification Translation of Multitask Hybrid Observational Transition Systems.

Autori: Wang, Yifan Nakamura, Masaki Takano, Ryo a ďalší

Zdroj: Electronics (2079-9292); Apr2025, Vol. 14 Issue 7, p1483, 31p

Predmety: HYBRID systems, MATHEMATICS theorems, CHECKS, CONTROL groups

In pursuit of humanised order picking planning: methodological review, literature classification and input from practice.

Autori: De Lombaert, Thomas Braekers, Kris De Koster, René a ďalší

Zdroj: International Journal of Production Research; May2023, Vol. 61 Issue 10, p3300-3330, 31p

Predmety: INDUSTRY 4.0, WORK design, SEMI-structured interviews, CLASSIFICATION

2012 Reviewers List.

Zdroj: IEEE Transactions on Software Engineering; Jan2013, Vol. 39 Issue 1, p141-144, 4p

Predmety: AUTHORS, PUBLISHING

Osoby: ABRAHAMSSON, Pekka, ABRAN, Alain, ABREU, Rui, AIELLO, Marco, AMMANN, Paul

CHECKPOINT-BASED ROLLBACK RECOVERY IN SESSION-BASED PROGRAMMING.

Autori: MEZZINA, CLAUDIO ANTARES TIEZZI, FRANCESCO YOSHIDA, NOBUKO

Zdroj: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 1, p1-36, 36p

Predmety: PROGRAMMING languages, LANGUAGE & languages

Formalizing UML State Machines for Automated Verification - A Survey.

Autori: ANDRÉ, ÉTIENNE SHUANG LIU YANG LIU a ďalší

Zdroj: ACM Computing Surveys; 2023 Suppl13s, Vol. 55, p1-47, 47p

Predmety: COMPUTER security vulnerabilities, UNIFIED modeling language, FORMAL languages, NATURAL languages, MACHINERY, SOFTWARE architecture

USQA: A User Story Quality Analyzer prototype for supporting software engineering students.

Autori: Jiménez, Samantha Alanis, Arnulfo Beltrán, Claudio a ďalší

Zdroj: Computer Applications in Engineering Education; Jul2023, Vol. 31 Issue 4, p1014-1024, 11p

Predmety: ENGINEERING students, SOFTWARE engineers, SOFTWARE engineering, NATURAL language processing, COMPUTER science students, REQUIREMENTS engineering, COMPUTER software, CONSTRUCTION project management

A Survey on Interdependent Privacy.

Autori: HUMBERT, MATHIAS TRUBERT, BENJAMIN HUGUENIN, KÉVIN

Zdroj: ACM Computing Surveys; Nov2020, Vol. 52 Issue 6, p1-40, 40p

Predmety: SCIENTIFIC community, PRIVACY, STATISTICAL learning

A model for correlation-based choreographic programming.

Autori: Giallorenzo, Saverio Montesi, Fabrizio Gabbrielli, Maurizio

Zdroj: PeerJ Computer Science; Dec2024, p1-47, 47p

Predmety: CHOREOGRAPHY, SYNTAX (Grammar), SEMANTICS, CALCULUS

Lexical Semantic Change through Large Language Models: a Survey.

Autori: Periti, Francesco Montanelli, Stefano

Zdroj: ACM Computing Surveys; Nov2024, Vol. 56 Issue 11, p1-38, 38p

Predmety: NATURAL language processing, LANGUAGE models, LINGUISTICS, LINGUISTIC context, COMPARATIVE method, EUCLIDEAN distance

Formal Methods in Railways: A Systematic Mapping Study.

Autori: FERRARI, ALESSIO TER BEEK, MAURICE H.

Zdroj: ACM Computing Surveys; May2023, Vol. 55 Issue 4, p1-37, 37p

Predmety: UNIFIED modeling language, SCIENTIFIC method, COMPUTER software development, RAILROADS, DOMINANT language, RAILROAD signals, SYSTEMS development

Artificial Intelligence: Opportunities and Challenges for Public Administration.

Autori: David, Geneviève

Zdroj: Canadian Public Administration; Sep2024, Vol. 67 Issue 3, p388-406, 19p

Predmety: ARTIFICIAL intelligence, PUBLIC administration, RESOURCE management, PUBLIC interest, TECHNOLOGY

Generative AI for Self-Adaptive Systems: State of the Art and Research Roadmap.

Autori: Li, Jialong Zhang, Mingyue Li, Nianyu a ďalší

Zdroj: ACM Transactions on Autonomous & Adaptive Systems; Sep2024, Vol. 19 Issue 3, p1-60, 60p

Predmety: GENERATIVE artificial intelligence, LANGUAGE models, RESEARCH personnel, SOCIAL interaction

Supervisory Control for Dynamic Feature Configuration in Product Lines.

Autori: Thuijsman, Sander Reniers, Michel

Zdroj: ACM Transactions on Embedded Computing Systems; Sep2024, Vol. 23 Issue 5, p1-25, 25p

Predmety: DISCRETE systems, SUPERVISORY control systems, FINITE state machines, PRODUCT lines, ENGINEERING

Improving the quality of business process descriptions of public administrations.

Autori: Ferrari, Alessio Witschel, Hans Friedrich Spagnolo, Giorgio Oronzo a ďalší

Zdroj: Business Process Management Journal; 2018, Vol. 24 Issue 1, p49-66, 18p

Predmety: MANUFACTURING processes, PUBLIC administration, STAKEHOLDERS, BUSINESS planning, BUSINESS research