• Search: "D.2.2 [Software Engineering"

Showing 1 - 20 of 587

1

Designing Guiding Systems for Gesture-Based Interaction
Delamare, William ; Coutrix, Céline ; Nigay, Laurence ; et al.
EICS '15: Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. :44-53

Duisburg, Germany, Germa... Gesture Interaction Feedback D.2.2. Software... Feedforward Design Space Guiding System …
Conference
Save to List
2

Qualitative Evaluation of Cultural Heritage Information Modeling Techniques
Hug, Charlotte ; Gonzalez-Pérez, César ; Centre de Recherche en Informatique de Paris 1 (CRI) ; et al.
Journal on Computing and Cultural Heritage. 5(2):1-20

Design Experimentation J.2 [Physical Sciences a... Specifications]: Methodo... [INFO.INFO-OH]Computer S... Other [cs.OH]
Journal
Save to List
3

Virtual Reality as a Support Tool for Ergonomic - Style Convergence
Bennes, Lionel ; Bazzaro, Florence ; Sagot, Jean-Claude ; et al.
Virtual Reality International Conference (VRIC 2012).

Laval, France Design Methodology Support Tool Product Design Multidisciplinary Conver... Immersive …
Conference
Save to List
4

Pragmatic ambiguity detection in natural language requirements
Ferrari A ; Lipari G ; Gnesi S ; et al.
AIRE 2014-IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, pp. 1–8, Karlskrona, Germany, 24-26 August 2014
info:cnr-pdr/source/autori:Ferrari A.; Lipari G.; Gnesi S.; Spagnolo, G.O./congresso_nome:AIRE 2014-IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering/congresso_luogo:Karlskrona, Germany/congresso_data:24-26 August 2014/anno:2014/pagina_da:1/pagina_a:8/intervallo_pagine:1–8

Natural language process... pragmatic ambiguity dete... Pragmatic ambiguity dete... 0202 electrical engineer... D.2.2 Software Engineeri... 02 engineering and techn... …
Academic journal
Save to List
5

Modular Coordination of Multiple Autonomic Managers
Delaval, Gwenaël ; Gueye, Soguy Mak-Karé ; Rutten, Eric ; et al.
17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014). :291-291

Lille, France Software reuse Self-adaptive systems Formal methods Control loops Automated management …
Conference
Save to List
6

The RPG DSL: a case study of language engineering using MDD for Generating RPG Games for Mobile Phones
Marques, Eduardo ; Balegas, Valter ; Barisic, Ankica ; et al.
Proceedings of the 12th workshop on Domain-specific modeling. :13-13

Tucson, Arizona, United... H.1.0 [Information Syste... D.2.2 [Software Engineer... Domain Specific Language Model transformation Algebraic Petri-net Mode... …
Conference
Save to List
7

Rule-based automatic software performance diagnosis and improvement
Xu, Jing
In Performance Evaluation November 2012 69(11):525-550

Academic journal
Save to List
8

Rule-based automatic software performance diagnosis and improvement
Xu, Jing
In Performance Evaluation 2010 67(8):585-611

Academic journal
Save to List
9

A DSML for reversible transformations
Université De Bretagne Occidentale ; See Profile ; Mickaël Kerboeuf ; et al.
https://www.researchgate.net/profile/Jean-Philippe_Babau/publication/254004308_A_DSML_for_reversible_transformations/links/54735ae10cf216f8cfafab5c.pdf.

Categories and Subject D... Design Tools and Tech- n... D.2.13 [Software Engi- n... Reusable Software—Reuse... Domain engi- neering Gen... Languages Keywords DSML …
Academic journal
Save to List
10

Context constraints for compositional reachability analysis
Cheung, Shing Chi ; Kramer, Jeff
ACM Transactions on Software Engineering and Methodology. 5:334-377

D.2.1 [Software Engineer... D.3.2 [Programming Langu... 0202 electrical engineer... distributed and parallel languages 0102 computer and inform... …
Academic journal
Save to List
11

Formal Methods and Safety Certification: Challenges in the Railways Domain
Stefania Gnesi ; Alessio Ferrari ; Alessandro Fantechi
Lecture Notes in Computer Science ISBN: 9783319471686
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium, pp. 261–265, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Fantechi A.; Ferrari A.; Gnesi S./congresso_nome:Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:261/pagina_a:265/intervallo_pagine:261–265

Model checking Formal methods D.2.2 SOFTWARE ENGINEERI... Formal Methods, Safety C... 0202 electrical engineer... Interlocking …
Book
Save to List
12

Software Product Line Analysis with mCRL2
Maurice H. Ter Beek ; Erik P. De Vink ; The Pennsylvania State University CiteSeerX Archives
http://fmt.isti.cnr.it/%7Emtbeek/p78-terbeek.pdf.

Categories and Subject D... Design Tools and Tech- n... D.2.4 [Software Engineer... Software/Program Verific... Model checking Validation …
Academic journal
Save to List
13

The scalable commutativity rule: Designing scalable software for multicore processors
Austin T. Clements ; M. Frans Kaashoek ; Nickolai Zeldovich ; et al.
https://pdos.csail.mit.edu/papers/commutativity%3Atocs.pdf.

Categories and Subject D... D.1.3 [Programming Techn... Concurrent Programming—... D.2.2 [Software Engineer... Design Tools and Techniq... D.4.7 [Operating Systems …
Academic journal
Save to List
14

Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs
Stavros Tripakis ; Dai Bui ; Marc Geilen ; et al.
http://chess.eecs.berkeley.edu/pubs/986/modular-sdf-tecs-2013.pdf.

Categories and Subject D... D.2.2 [Software Engineer... Design Tools and Techniq... D.2.13 [Software Enginee... Reusable Software Genera... Algorithms …
Academic journal
Save to List
15

Comparison of Exact and Approximate Multi-Objective Optimization for Software Product Lines
Rafael Olaechea ; Derek Rayside ; Jianmei Guo ; et al.
http://gsd.uwaterloo.ca/sites/default/files/splc-paper.pdf.

Categories and Subject D... Design Tools and Tech- n... Multi-Objective Optimiza...
Academic journal
Save to List
16

Synthesis of component and connector models from crosscutting structural views
Shahar Maoz ; Jan Oliver Ringert ; Bernhard Rumpe ; et al.
http://www.se-rwth.de/publications/Synthesis-of-Component-and-Connector-Models-from-Crosscutting-Structural-Views.pdf.

Categories and Subject D... Requirements/Specifica-... D.2.2 [Software Engineer... Design Tools and Techniq... Languages Keywords compo...
Academic journal
Save to List
17

First-class variability modeling in matlab/simulink
Arne Haber ; Pedram Mir ; Seyed Nazari ; et al.
http://www.kolassa.net/publications/HKM+13.pdf.

Categories and Subject D... Programming Environments... D.2.2 [Software Engineer... Design Tools and Techniq... Variability Matlab/Simulink
Academic journal
Save to List
18

Design of Ensemble-Based Component Systems by Invariant Refinement
Jaroslav Keznikl ; Ilias Gerostathopoulos ; Tomas Bures ; et al.
http://d3s.mff.cuni.cz/publications/download/keznikl-etal-CBSE13.pdf.

Application-based System... real-time and embedded s... D.2.2 [Software Engineer... Design Tools and Techniq... D.2.11 [Software Enginee... Software Architectures –...
Academic journal
Save to List
19

Modular Reasoning
Gary T. Leavens ; David A. Naumann ; The Pennsylvania State University CiteSeerX Archives
http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-13-03/TR.pdf.

Categories and Subject D... D.2.2 [Software Engineer... Design Tools and Techniq... D.2.3 [Software Engineer... Coding Tools and Techniq... D.2.4 [Software Engineer... …
Academic journal
Save to List
20

Position Paper: Toward s a requirements-driven design of ensemblebased component systems
Ilias Gerostathopoulos ; Tomas Bures ; Petr Hnetynka ; et al.
http://d3s.mff.cuni.cz/publications/download/2013-GerostathopoulosBuresHnetynka-HottopicsICPE.pdf.

Categories and Subject D... Design Tools and Techniq...
Academic journal
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter