BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
between (6)
softwar (5)
design (4)
system (3)
model (3)

Stem synergi$ (all stems)

23 papers:

MSRMSR-2015-GantayatDPMS #stack overflow
The Synergy between Voting and Acceptance of Answers on StackOverflow — Or the Lack Thereof (NG, PD, RP, SM, VSS), pp. 406–409.
HCIDUXU-DD-2015-FilippiBS #design #interactive
Investigating Synergies Between Interaction Design Methods (SF, DB, PAS), pp. 179–190.
CSEETCSEET-2014-BenabidA #aspect-oriented #education #re-engineering #research
The synergy of engineering and research aspects in Software Engineering Education (AB, GAH), pp. 44–48.
HCIDUXU-ELAS-2014-SharmaMTZRTGJ #named #personalisation #smarttech
SPARK: Personalized Parkinson Disease Interventions through Synergy between a Smartphone and a Smartwatch (VS, KM, FDlT, AZ, NR, TGNT, RG, SJ), pp. 103–114.
HCIDUXU-TMT-2014-SchmuntzschF #design #how #smarttech
How Two become One — Creating Synergy Effects by Applying the Joint Interview Method to Design Wearable Technology (US, LHF), pp. 173–184.
SPLCSPLC-2014-ThumMBHRS #model checking #product line #proving #theorem proving
Potential synergies of theorem proving and model checking for software product lines (TT, JM, FB, MH, AvR, GS), pp. 177–186.
TACASTACAS-2013-SlabyST #contest #execution #named #slicing #symbolic computation
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution — (Competition Contribution) (JS, JS, MT), pp. 630–632.
ICEISICEIS-v3-2013-Noran #enterprise #information management
Enhancing Enterprise Information Systems Synergy in Disaster Management (ON), pp. 275–283.
CASECASE-2012-WimbockRC #coordination #verification
Derivation and verification of synergy coordinates for the DLR hand arm system (TW, JR, MC), pp. 454–460.
CSMRCSMR-2012-Varro #maintenance #model transformation
Keynote 2: A Bridge Over Troubled Water — Synergies between Model Transformation and Software Maintenance Techniques (DV), pp. 5–6.
FMFM-2011-BoyerGS #configuration management #protocol #specification #verification
Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP (FB, OG, GS), pp. 103–117.
ICSEICSE-2011-BoehmV #challenge #estimation #research
Impact of software resource estimation research on practice: a preliminary report on achievements, synergies, and challenges (BWB, RV), pp. 1057–1065.
SIGIRSIGIR-2009-ZieglerJ #web
Leveraging sources of collective wisdom on the web for discovering technology synergies (CNZ, SJ), pp. 548–555.
SACSAC-2009-SharyginaTT #abstraction #performance #precise #verification
The synergy of precise and fast abstractions for program verification (NS, ST, AT), pp. 566–573.
SACSAC-2008-CeriottiMP #case study #message passing
Data sharing vs. message passing: synergy or incompatibility?: an implementation-driven case study (MC, ALM, GPP), pp. 100–107.
HCIHCI-AS-2007-KossackGJ #design #industrial
Industrial Design and Human Factors: Design Synergy for Medical Devices (MK, AG, AJ), pp. 489–498.
FSEFSE-2006-GulavaniHKNR #algorithm #named
SYNERGY: a new algorithm for property checking (BSG, TAH, YK, AVN, SKR), pp. 117–127.
WICSAWICSA-2005-InverardiMP #named #uml
DUALLY: Putting in Synergy UML 2.0 and ADLs (PI, HM, PP), pp. 251–252.
ITiCSEITiCSE-2004-ConradF #object-oriented #paradigm #source code #using
Using the synergies between the object-oriented paradigm and mathematics in joint mathematics/computer science programs (MC, TF), p. 254.
PASTEPASTE-2004-Ernst #dynamic analysis
Invited Talk Static and dynamic analysis: synergy and duality (MDE), p. 35.
AdaEuropeAda-2002-BlotzHLPSZ #ada #development #modelling #re-engineering #safety
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems (AB, FH, HL, AP, OS, HPZ), pp. 37–52.
ESECESEC-FSE-1999-JarzabekK #component #generative
Synergy between Component-Based and Generative Approaches (SJ, PK), pp. 429–445.
HPCAHPCA-1999-ParcerisaG #multi #thread
The Synergy of Multithreading and Access/Execute Decoupling (JMP, AG), pp. 59–63.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.