Works matching DE "SOFTWARE engineering"

Results: 5000

SYNCode: Synergistic Human–LLM Collaboration for Enhanced Data Annotation in Stack Overflow †.

Published in:

Information (2078-2489), 2025, v. 16, n. 5, p. 392, doi. 10.3390/info16050392

By:

Xia, Meng;
Maharjan, Shradha;
Le, Tammy;
Taylor, Will;
Song, Myoungkyu

Publication type:

Article

Disciplinary discourse.

Published in:

Written Communication, 1998, v. 15, n. 1, p. 3, doi. 10.1177/0741088398015001001

By:

Geisler, Cheryl;
Rogers, Edwin H.;
Haller, Cynthia R.

Publication type:

Article

Correction to: Software Engineering Design Principles Applied to Instructional Design: What can we Learn from our Sister Discipline?

Published in:

2019

By:

Adnan, Nor Hafizah;
Ritzhaupt, Albert D.

Publication type:

Correction Notice

Software Engineering Design Principles Applied to Instructional Design: What can we Learn from our Sister Discipline?

Published in:

TechTrends: Linking Research & Practice to Improve Learning, 2018, v. 62, n. 1, p. 77, doi. 10.1007/s11528-017-0238-5

By:

Adnan, Nor Hafizah;
Ritzhaupt, Albert D.

Publication type:

Article

Issues in Software Engineering of Relevance to Instructional Design.

Published in:

TechTrends: Linking Research & Practice to Improve Learning, 2006, v. 50, n. 5, p. 28, doi. 10.1007/s11528-006-0035-z

By:

Douglas, Ian

Publication type:

Article

PY-RATE ADVENTURES: A 2D Platform Serious Game for Learning the Basic Concepts of Programming With Python.

Published in:

Simulation & Gaming, 2019, v. 50, n. 6, p. 754, doi. 10.1177/1046878119872797

By:

Sideris, Grigorios;
Xinogalos, Stelios

Publication type:

Article

ENRICHMENT OF STUDENT LEARNING AND HOMEWORK MANAGEMENT WITH USE OF GITHUB® IN AN INTRODUCTORY CROSSDISCIPLINARY ENGINEERING COURSE SERIES ON SOFTWARE ENGINEERING AND DATA SCIENCE.

Published in:

CEE: Chemical Engineering Education, 2020, v. 54, n. 4, p. 189, doi. 10.18260/2-1-370.660-119316

By:

CURTIS, CHAD D.;
WOLF, CAITLYN M.;
BECK, DAVID A. C.

Publication type:

Article

Sources of knowledge acquisition for Chinese software engineers.

Published in:

R&D Management, 2006, v. 36, n. 1, p. 97, doi. 10.1111/j.1467-9310.2005.00418.x

By:

Assimakopoulos, Dimitris;
Jie Yan

Publication type:

Article

SVG contre Flash: théorie et pratique.

Published in:

Documentation & Bibliotheques, 2006, v. 52, n. 1, p. 29, doi. 10.7202/1030025ar

By:

Beauchemin, Myriam

Publication type:

Article

A dynamically reconfigurable Voice User Interface (VUI) framework and platform.

Published in:

Computer Systems Science & Engineering, 2007, v. 22, n. 3, p. 145

By:

Talevski, A.;
Chang, E.;
Dillon, T. S.

Publication type:

Article

Integrating social modelling and agent interaction through goal-oriented analysis.

Published in:

Computer Systems Science & Engineering, 2006, v. 21, n. 2, p. 87

By:

Rahwan, Iyad;
Juan, Thomas;
Sterling, Leon

Publication type:

Article

A methodological framework for ontology centric oriented software engineering.

Published in:

Computer Systems Science & Engineering, 2006, v. 21, n. 2, p. 117

By:

Quynh-Nhu Numi Tran;
Low, Graham;
Beydoun, Ghassan

Publication type:

Article

Making Meaning: Using AI to move from documents to data to value.

Published in:

Government Technology, 2021, v. 34, n. 8, p. 58

By:

Castro, Daniel

Publication type:

Article

Precision software.

Published in:

Electronics Systems & Software, 2005, v. 3, n. 4, p. 15

By:

Bradfoot, Guy;
Kielty, George

Publication type:

Article

Inside SysML.

Published in:

Electronics Systems & Software, 2005, v. 3, n. 3, p. 20

By:

Hause, Matthew;
Thorn, Francis;
Moore, Alan

Publication type:

Article

EXTREME PROGRAMMING.

Published in:

Computing & Control Engineering, 2003, v. 14, n. 3, p. 18

By:

Stott, Will

Publication type:

Article

The 3d Model-Map of Cadiz (1779): A Unique Project of Cartography in Modern Spain.

Published in:

Cartographic Journal, 2016, v. 53, n. 3, p. 268, doi. 10.1080/00087041.2016.1149263

By:

Granado-Castro, Gabriel;
Martín-Pastor, Andrés

Publication type:

Article

User-Centred Map Applications Through Participatory Design: Experiences Gained During the ‘YouthMap 5020’ Project.

Published in:

Cartographic Journal, 2016, v. 53, n. 3, p. 213, doi. 10.1080/00087041.2016.1148217

By:

Hennig, Sabine;
Vogler, Robert

Publication type:

Article

Escape and intervention in multi-agent systems.

Published in:

AI & Society, 2009, v. 24, n. 1, p. 25, doi. 10.1007/s00146-009-0193-6

By:

Roest, G.;
Szirbik, N.

Publication type:

Article

Development of a Computational Tool to Evaluate the Energy Diversification of Transportation Systems in Colombia.

Published in:

Ingeniería y Desarrollo, 2022, v. 40, n. 2, p. 166, doi. 10.14482/inde.40.02.620.986

By:

BLANDÓN ANDRADE, JUAN CARLOS;
CASTAÑO GIL, KENPO ERICKSON;
TIBAQUIRÁ GIRALDO, JUAN ESTEBAN

Publication type:

Article

Propuesta para el manejo de restricciones en modelos de clases usando atom.

Published in:

Ingeniería y Desarrollo, 2005, n. 17, p. 130

By:

Zapata J., Carlos M.;
Alvarez C., Carlos A.;
Arango I., Fernando

Publication type:

Article

Filling gaps in simulation of complex systems: the background and motivation for CoSMoS.

Published in:

Natural Computing, 2015, v. 14, n. 1, p. 49, doi. 10.1007/s11047-014-9462-5

By:

Polack, Fiona

Publication type:

Article

CoSMoS special issue editorial.

Published in:

2015

By:

Stepney, Susan;
Andrews, Paul

Publication type:

Editorial

Introduction to the Special Issue on Grammatical Inference.

Published in:

2014

By:

Heinz, Jeffrey;
Higuera, C.;
Oates, Tim

Publication type:

Editorial

Spatial keyword search: a survey.

Published in:

GeoInformatica, 2020, v. 24, n. 1, p. 85, doi. 10.1007/s10707-019-00373-y

By:

Chen, Lisi;
Shang, Shuo;
Yang, Chengcheng;
Li, Jing

Publication type:

Article

An enhanced salp swarm optimizer boosted by local search algorithm for modelling prediction problems in software engineering.

Published in:

Artificial Intelligence Review, 2023, v. 56, p. 3877, doi. 10.1007/s10462-023-10618-w

By:

Kassaymeh, Sofian;
Abdullah, Salwani;
Al-Betar, Mohammed Azmi;
Alweshah, Mohammed;
Salem, Amer Abu;
Makhadmeh, Sharif Naser;
Al-Ma'aitah, Mohammad Atwah

Publication type:

Article

SCL-SKG: software knowledge extraction with span-level contrastive learning.

Published in:

Artificial Intelligence Review, 2023, v. 56, p. 2383, doi. 10.1007/s10462-023-10580-7

By:

Tang, Mingjing;
Zhang, Shu;
Zheng, Ming;
Ma, Zifei;
Gao, Wei

Publication type:

Article

Reformulating regression test suite optimization using quantum annealing - an empirical study.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 6, p. 767, doi. 10.1007/s10009-024-00775-w

By:

Trovato, Antonio;
De Stefano, Manuel;
Pecorelli, Fabiano;
Di Nucci, Dario;
De Lucia, Andrea

Publication type:

Article

Easing maintenance of academic static analyzers.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 6, p. 673, doi. 10.1007/s10009-024-00770-1

By:

Monat, Raphaël;
Ouadjaout, Abdelraouf;
Miné, Antoine

Publication type:

Article

State of the art in program analysis.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 5, p. 569, doi. 10.1007/s10009-024-00766-x

By:

Ferrara, Pietro;
Hadarean, Liana

Publication type:

Article

Rigorous engineering of collective adaptive systems – 2nd special section.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 5/6, p. 617, doi. 10.1007/s10009-023-00734-x

By:

Wirsing, Martin;
Jähnichen, Stefan;
De Nicola, Rocco

Publication type:

Article

Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 5, p. 663, doi. 10.1007/s10009-022-00677-9

By:

Biere, Armin;
Parker, David

Publication type:

Article

Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 611, doi. 10.1007/s10009-022-00664-0

By:

Legay, Axel;
Margaria, Tiziana

Publication type:

Article

Plain random test generation with PRTest.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 871, doi. 10.1007/s10009-020-00568-x

By:

Lemberger, Thomas

Publication type:

Article

Automated model analysis tools and techniques presented at FASE 2019.

Published in:

2021

By:

Hähnle, Reiner;
van der Aalst, Wil

Publication type:

Editorial

Static generation of UML sequence diagrams.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 1, p. 31, doi. 10.1007/s10009-019-00545-z

By:

Alvin, Chris;
Peterson, Brian;
Mukhopadhyay, Supratik

Publication type:

Article

The scenario coevolution paradigm: adaptive quality assurance for adaptive systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 4, p. 457, doi. 10.1007/s10009-020-00560-5

By:

Gabor, Thomas;
Sedlmeier, Andreas;
Phan, Thomy;
Ritz, Fabian;
Kiermeier, Marie;
Belzner, Lenz;
Kempter, Bernhard;
Klein, Cornel;
Sauer, Horst;
Schmid, Reiner;
Wieghardt, Jan;
Zeller, Marc;
Linnhoff-Popien, Claudia

Publication type:

Article

The SOTA approach to engineering collective adaptive systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 4, p. 399, doi. 10.1007/s10009-020-00554-3

By:

Abeywickrama, Dhaminda B.;
Bicocchi, Nicola;
Mamei, Marco;
Zambonelli, Franco

Publication type:

Article

A formal approach to AADL model-based software engineering.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 2, p. 219, doi. 10.1007/s10009-019-00513-7

By:

Mkaouar, Hana;
Zalila, Bechir;
Hugues, Jérôme;
Jmaiel, Mohamed

Publication type:

Article

Model-based software quality assurance tools and techniques presented at FASE 2018.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 1, p. 1, doi. 10.1007/s10009-019-00541-3

By:

Russo, Alessandra;
Schürr, Andy

Publication type:

Article

Software quality tools and techniques presented in FASE’17.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 6, p. 611, doi. 10.1007/s10009-018-0504-7

By:

Huisman, Marieke;
Rubin, Julia

Publication type:

Article

Software engineering practices and Simulink: bridging the gap.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 1, p. 95, doi. 10.1007/s10009-017-0450-9

By:

Pantelic, Vera;
Postma, Steven;
Lawford, Mark;
Jaskolka, Monika;
Mackenzie, Bennett;
Korobkine, Alexandre;
Bender, Marc;
Ong, Jeff;
Marks, Gordon;
Wassyng, Alan

Publication type:

Article

Exact finite-state machine identification from scenarios and temporal properties.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 1, p. 35, doi. 10.1007/s10009-016-0442-1

By:

Ulyantsev, Vladimir;
Buzhinsky, Igor;
Shalyto, Anatoly

Publication type:

Article

Handling loops in bounded model checking of C programs via k-induction.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 1, p. 97, doi. 10.1007/s10009-015-0407-9

By:

Gadelha, Mikhail;
Ismail, Hussama;
Cordeiro, Lucas

Publication type:

Article

Assessing the effects of introducing a new software development process: a methodological description.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 1, doi. 10.1007/s10009-013-0275-0

By:

Nilsson, Agneta;
Castro, Laura;
Rivas, Samuel;
Arts, Thomas

Publication type:

Article

VerifyThis 2012.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 647, doi. 10.1007/s10009-015-0396-8

By:

Huisman, Marieke;
Klebanov, Vladimir;
Monahan, Rosemary

Publication type:

Article

Program verification and testing technologies.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 4, p. 335, doi. 10.1007/s10009-014-0327-0

By:

Margaria, Tiziana;
Qiu, Zongyan;
Yang, Hongli

Publication type:

Article

Rule-based detection of design patterns in program code.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 3, p. 315, doi. 10.1007/s10009-013-0292-z

By:

Alnusair, Awny;
Zhao, Tian;
Yan, Gongjun

Publication type:

Article

Comparison of type-based and alias-based component recognition for embedded systems software.

Published in:

International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 1, p. 41, doi. 10.1007/s10009-012-0251-0

By:

Schreiner, Dietmar;
Barany, Gergö;
Schordan, Markus;
Knoop, Jens

Publication type:

Article

Relating software validation to technology trends.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 6, p. 631, doi. 10.1007/s10009-012-0259-5

By:

Liu, Zhiming;
Roychoudhury, Abhik

Publication type:

Article