Works matching DE "SDL (Computer program language)"

Results: 29

Mapping the design-space of textual variability modeling languages: a refined analysis.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 5, p. 559, doi. 10.1007/s10009-014-0362-x

By:

Eichelberger, Holger;
Schmid, Klaus

Publication type:

Article

Tool integration at the meta-model level: the Fujaba approach.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 3, p. 203, doi. 10.1007/s10009-004-0155-8

By:

Burmester, Sven;
Giese, Holger;
Niere, Jörg;
Tichy, Matthias;
Wadsack, Jörg P.;
Wagner, Robert;
Wendehals, Lothar;
Zündorf, Albert

Publication type:

Article

Experiences with Evaluation of SDL-Based Protocol Engineering inEducation.

Published in:

Computer Science Education, 2000, v. 10, n. 3, p. 225, doi. 10.1076/0899-3408(200012)10:3;1-S;FT225

By:

Kellerer, Wolfgang;
Autenrieth, Achim;
Iselt, Andreas

Publication type:

Article

Synthesizing efficient systems in probabilistic environments.

Published in:

Acta Informatica, 2016, v. 53, n. 4, p. 425, doi. 10.1007/s00236-015-0237-y

By:

Essen, Christian;
Jobstmann, Barbara;
Parker, David;
Varshneya, Rahul

Publication type:

Article

Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study.

Published in:

2015

By:

Feliachi, Abderrahmane;
Gaudel, Marie-Claude;
Wolff, Burkhart

Publication type:

Case Study

Computability in Specification.

Published in:

Journal of Logic & Computation, 2006, v. 16, n. 6, p. 841, doi. 10.1093/logcom/exl012

By:

Raymond, Turner

Publication type:

Article

A FRAMEWORK FOR THE PRAGMATIC QUALITY OF Z SPECIFICATIONS.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2006, v. 16, n. 5, p. 769, doi. 10.1142/S0218194006002938

By:

KAMTHAN, PANKAJ

Publication type:

Article

Asynchronous adaptive optimisation for generic data-parallel array programming.

Published in:

Concurrency & Computation: Practice & Experience, 2012, v. 24, n. 5, p. 499, doi. 10.1002/cpe.1842

By:

Grelck, Clemens;
van Deurzen, Tim;
Herhut, Stephan;
Scholz, Sven-Bodo

Publication type:

Article

Mapping SDL Specification Fundamentals to Core SDL Ontology.

Published in:

Journal of Communications Software & Systems, 2010, v. 6, n. 1, p. 18, doi. 10.24138/jcomss.v6i1.195

By:

Babac, Marina Bagić;
Kunštić, Marijan

Publication type:

Article

Discussions.

Published in:

International Statistical Review, 2011, v. 79, n. 2, p. 184, doi. 10.1111/j.1751-5823.2011.00139.x

By:

Domingo-Ferrer, Josep

Publication type:

Article

Design Synthesis from Interaction and State-Based Specifications.

Published in:

IEEE Transactions on Software Engineering, 2006, v. 32, n. 6, p. 349, doi. 10.1109/TSE.2006.55

By:

Jun Sun;
Jin Song Dong

Publication type:

Article

A Vector-Based Approach to Software Size Measurement and Effort Estimation.

Published in:

IEEE Transactions on Software Engineering, 2001, v. 27, n. 4, p. 337, doi. 10.1109/32.917523

By:

Hastings, T. E.;
Sajeev, A. S. M.

Publication type:

Article

THE NORMALIZATION OF FINANCIAL DATA EXCHANGE OVER THE INTERNET: ADOPTING INTERNATIONAL STANDARD XBRL.

Published in:

Annals of the University of Oradea, Economic Science Series, 2009, v. 18, n. 4, p. 935

By:

Vasile, Florescu;
Petronel, Amza Cosmin;
Georgel, Tudor Cătălin

Publication type:

Article

Formal Specification of Grammar Refactoring Patterns.

Published in:

Journal of Computer Science & Control Systems, 2013, v. 6, n. 1, p. 38

By:

HALUPKA, Ivan;
KOLLAR, Jan

Publication type:

Article

Logic + control: On program construction and verification.

Published in:

Theory & Practice of Logic Programming, 2018, v. 18, n. 1, p. 1, doi. 10.1017/S1471068417000047

By:

DRABENT, WŁODZIMIERZ

Publication type:

Article

Rewriting and narrowing for constructor systems with call-time choice semantics.

Published in:

Theory & Practice of Logic Programming, 2014, v. 14, n. 2, p. 165, doi. 10.1017/S1471068412000373

By:

LÓPEZ-FRAGUAS, FRANCISCO J.;
MARTIN-MARTIN, ENRIQUE;
RODRÍGUEZ-HORTALÁ, JUAN;
SÁNCHEZ-HERNÁNDEZ, JAIME

Publication type:

Article

POSSIBILITIES FOR CAN IN TRANSLATION ENVIRONMENTS.

Published in:

Studia Universitatis Petru Maior - Philologia, 2011, n. 11, p. 188

By:

IMRE, Attila;
BENŐ, Attila

Publication type:

Article

Decomposition analysis of the multidisciplinary coupling in LED System-in-Package design using a DSM and a specification language.

Published in:

Structural & Multidisciplinary Optimization, 2016, v. 53, n. 6, p. 1395, doi. 10.1007/s00158-016-1397-2

By:

M. De Borst, E.;
P. Etman, L.;
J. Gielen, A.;
Hofkamp, A.;
Rooda, J.

Publication type:

Article

The SDL theory (Service-Dominant Logic) Applied to the Retail sector : validations, limits and new Insights.

Published in:

Revue des Sciences de Gestion, 2012, n. 257, p. 10

By:

Munos, Annie

Publication type:

Article

La théorie de la SDL (Service-Dominant Logic) appliquée à la distribution : Validations, limites et contributions.

Published in:

Revue des Sciences de Gestion, 2012, n. 257, p. 111, doi. 10.3917/rsg.257.0111

By:

Munos, Annie

Publication type:

Article

Specification of REST API Services for Modbus Protocol using Formal technique.

Published in:

EAI Endorsed Transactions on Cloud Systems, 2017, v. 3, n. 10, p. 1, doi. 10.4108/eai.20-12-2017.153492

By:

Jayasankar, M.;
Giridharan, Anandi

Publication type:

Article

Describing Layered Communication Architecture in SDL Markup Language.

Published in:

Journal of Information & Organizational Sciences, 2010, v. 34, n. 1, p. 1

By:

Bagić Babac, Marina;
Kunštić, Marijan;
Jevtić, Dragan

Publication type:

Article

WSWRAPPER -- A UNIVERSAL WEB SERVICE GENERATOR.

Published in:

Studia Universitatis Babes-Bolyai, Informatica, 2010, v. 55, n. 2, p. 59

By:

Boian, Florian;
Chinces, Diana;
Ciupeiu, Dan;
Homorodean, Dan;
Jancso, Beata;
Ploscar, Adina

Publication type:

Article

mLearning, the First Step in the Learning Process Revolution.

Published in:

International Journal of Interactive Mobile Technologies, 2008, v. 2, n. 4, p. 61

By:

Conde, M. A.;
Muñoz, C.;
García, F. J.

Publication type:

Article

Simulation model to find the best comfort, energy and cost scenarios for building refurbishment.

Published in:

Journal of Building Performance Simulation, 2018, v. 11, n. 2, p. 205, doi. 10.1080/19401493.2017.1323011

By:

Fonseca i Casas, Antoni;
Ortiz, Joana;
Garrido, Núria;
Fonseca, Pau;
Salom, Jaume

Publication type:

Article

Analysis of Formal Methods for Specification of E-Commerce Applications.

Published in:

Mehran University Research Journal of Engineering & Technology, 2016, v. 35, n. 1, p. 19

By:

KHAN, SADIQ ALI;
JAMSHED, HUMA

Publication type:

Article

RDF & RDF QUERY LANGUAGES - BUILDING BLOCKS FOR THE SEMANTIC WEB.

Published in:

Journal of Information Systems & Operations Management, 2015, v. 9, n. 1, p. 1

By:

ALTĂR - SAMUEL, Adam;
COSTIN, Alexandru;
ENACHE, Dragoș

Publication type:

Article

AN OBJECT-ORIENTED APPROACH TO DYNAMIC SERVICE DESCRIPTIONS.

Published in:

International Journal of Communication Systems, 1994, v. 7, n. 2, p. 85, doi. 10.1002/dac.4500070204

By:

Hellemans, Patrick;
Behnke, Ulf;
de Smedt, Alex;
Ronchetti, Luigi

Publication type:

Article

Combining Exposure and Pharmacotherapy in the Treatment of Social Anxiety Disorder: A Preliminary Study of State Dependent Learning.

Published in:

Journal of Psychopathology & Behavioral Assessment, 2008, v. 30, n. 3, p. 211, doi. 10.1007/s10862-007-9061-1

By:

Morissette, Sandra;
Spiegel, David;
Barlow, David

Publication type:

Article