Works matching DE "SDL (Computer program language)"
Results: 27
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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
WSWRAPPER -- A UNIVERSAL WEB SERVICE GENERATOR.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2010, v. 55, n. 2, p. 59
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Computability in Specification.
- Published in:
- Journal of Logic & Computation, 2006, v. 16, n. 6, p. 841, doi. 10.1093/logcom/exl012
- By:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study.
- Published in:
- 2015
- By:
- Publication type:
- Case Study
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:
- 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:
- Publication type:
- Article
POSSIBILITIES FOR CAN IN TRANSLATION ENVIRONMENTS.
- Published in:
- Studia Universitatis Petru Maior - Philologia, 2011, n. 11, p. 188
- By:
- Publication type:
- Article