Search Results - "SDL (Computer program language)"

PROMOpedia.

Authors: Sentilles, Séverine Ciccozzi, Federico Papatheocharous, Efi

Source: ICSE: International Conference on Software Engineering; 5/27/2018, p45-48, 4p

Modular Termination Verification of Single-Threaded and Multithreaded Programs.

Authors: JACOBS, BART BOSNACKI, DRAGAN KUIPER, RUURD

Source: ACM Transactions on Programming Languages & Systems; Jul2018, Vol. 40 Issue 3, p1-59, 59p

Implementing SDL.

Source: Systems Engineering with SDL. 2001 1st Edition, p173-300. 128p.

Subjects: SDL (Computer program language), Programming languages, Dynamic programming, Electronic systems, Engineering, Systems design

Performance Engineering in the Context of SDL.

Source: Systems Engineering with SDL. 2001 1st Edition, p301-332. 32p.

Subjects: SDL (Computer program language), Programming languages, Technology, Dynamic programming, Electronic systems, Engineering

An Ontology-Guided Process for Developing Problem Frame Specification: An Example.

Authors: Xiaohong Chen Zhi Jin

Source: ICSE: International Conference on Software Engineering. 2008, p36-39. 4p. 7 Diagrams.

Subjects: Frames (Combinatorial analysis), SDL (Computer program language), Ontology, Computer software development, Problem solving

An EFSM-based Test Generation for Validation of SDL Specifications.

Authors: Wong, W. Eric Restrepo, Andy Yu Qi et al.

Source: ICSE: International Conference on Software Engineering. 2008, p25-32. 8p. 4 Color Photographs, 5 Diagrams, 1 Chart, 2 Graphs.

Subjects: SDL (Computer program language), Programming languages, Computer programming, Computer software development, Software engineering

VarXplorer.

Authors: Soares, Larissa Rocha

Source: ICSE: International Conference on Software Engineering. 5/27/2018, p500-502. 3p.

Subjects: Computer software development, SDL (Computer program language), Computer software developers, Feature extraction, Data flow computing, Fault-tolerant computing

YET ANOTHER SEMANTIC ANNOTATION FOR WSDL.

Authors: Chabeb, Yassin Tata, Samir

Source: Proceedings of the IADIS International Conference on WWW/Internet; Jan2008, p437-441, 5p, 1 Diagram

Working Methods.

Authors: Bergmann, Ansgar

Source: GSM & UMTS; 2002 1st Edition, p463-480, 18p

Integration of Performance Aspects in the Development Process.

Source: Systems Engineering with SDL; 2001 1st Edition, p7-102, 96p

Design and Implementation of Communicating Systems.

Source: Systems Engineering with SDL; 2001 1st Edition, p103-139, 37p

System Development with SDL.

Source: Systems Engineering with SDL; 2001 1st Edition, p141-172, 32p

Front Matter and Index.

Source: Systems Engineering with SDL; 2001 1st Edition, preceding p1, 23p

Regression test suite reduction based on SDL models of system requirements.

Authors: Yanping Chen Probert, Robert L. Ural, Hasan

Source: Journal of Software Maintenance & Evolution: Research & Practice. Nov/Dec2009, Vol. 21 Issue 6, p379-405. 27p. 6 Diagrams, 9 Charts.

Subjects: SDL (Computer program language), Regression analysis, Linear dependence (Mathematics), Software maintenance, Model-based reasoning, Programming languages

Synthesizing efficient systems in probabilistic environments.

Authors: Essen, Christian Jobstmann, Barbara Parker, David et al.

Source: Acta Informatica; Jun2016, Vol. 53 Issue 4, p425-457, 33p

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

Authors: M. De Borst, E. P. Etman, L. J. Gielen, A. et al.

Source: Structural & Multidisciplinary Optimization. Jun2016, Vol. 53 Issue 6, p1395-1411. 17p.

SDL.

Authors: Woollard, Kevin

Source: ISDN Explained; 1998 3rd Edition, p207-224, 18p

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

Authors: Feliachi, Abderrahmane Gaudel, Marie-Claude Wolff, Burkhart

Source: International Journal of Software & Informatics; 2015, Vol. 9 Issue 2, p177-203, 27p

Formal Specification of Grammar Refactoring Patterns.

Authors: HALUPKA, Ivan KOLLAR, Jan

Source: Journal of Computer Science & Control Systems; May2013, Vol. 6 Issue 1, p38-43, 6p, 7 Diagrams

Nine terminology extraction tools.

Authors: Costa, Hernani Corpas, Gloria Domínguez, Míriam Seghiri et al.

Source: MultiLingual. Apr/May2016, Vol. 27 Issue 3, p14-20. 7p.