Log in

Relevant bibliographies by topics / Specification of transformation

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Specification of transformation'

Author: Grafiati

Published: 7 June 2025

Last updated: 2 August 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Specification of transformation.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Specification of transformation"

1

Asnina, Erika. "Notion of causal relations of the topological functioning model." Applied Computer Systems 13, no. 1 (2012): 68–73. http://dx.doi.org/10.2478/v10312-012-0009-z.

Full text

Abstract:

Abstract - The paper discusses application of the topological functioning model (TFM) of the system for its automated transformation to behavioural specifications such as UML Activity Diagram, BPMN diagrams, scenarios, etc. The paper addresses a lack of formal specification of causal relations between functional features of the TFM by using inference means suggested by classical logic. The result is reduced human participation in the transformation as well as additional check of analysis and specification of the system.

APA, Harvard, Vancouver, ISO, and other styles

2

EL-GENDY, HAZEM, and NABIL EL-KADHI. "FORMAL METHOD FOR AUTOMATED TRANSFORMATION OF LOTOS SPECIFICATIONS TO ESTELLE SPECIFICATIONS." International Journal of Software Engineering and Knowledge Engineering 15, no. 05 (2005): 873–91. http://dx.doi.org/10.1142/s0218194005002567.

Full text

Abstract:

ISO and IEC have jointly developed two Formal Description Techniques (FDTs) for specifying distributed real time systems such as computer/telecommunications protocols. These are Lotos and Estelle. In this paper, a formal method for automated transformation of a Lotos specification to an Estelle specification is presented. The method is applicable to various Lotos specification styles and to various communications protocols of ISO OSI layers. Our method has applications in conformance testing of such systems and building common semantic model for the various FDTs. In this paper, we develop an a

APA, Harvard, Vancouver, ISO, and other styles

3

Berramla, Karima, El Abbassia Deba, Abou El Hassen Benyamina, and Djilali Benhamamouch. "A Contribution to the Specification of Model Transformations with Metamodel Matching Approach." International Journal of Information System Modeling and Design 8, no. 3 (2017): 1–23. http://dx.doi.org/10.4018/ijismd.2017070101.

Full text

Abstract:

Model-driven engineering (MDE) is a paradigm based on the intensive use of models throughout the life cycle of an application, where model transformation plays an important role. Various model transformation approaches have been proposed, but developers are still faced with the complexity of model transformation specifications. Most of these approaches are based on the specification of transformation rules with a concrete syntax at a low level where the developer must master the transformation language. The question at this level is how to generate a model transformation specification that mus

APA, Harvard, Vancouver, ISO, and other styles

4

Henglein, Fritz. "Specification and transformation of programs." Science of Computer Programming 17, no. 1-3 (1991): 247–49. http://dx.doi.org/10.1016/0167-6423(91)90041-u.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Fu, Zheng, and Graeme Smith. "Property transformation under specification change." Frontiers of Computer Science in China 5, no. 1 (2010): 1–13. http://dx.doi.org/10.1007/s11704-010-0112-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Guerra, Esther, and Mathias Soeken. "Specification-driven model transformation testing." Software & Systems Modeling 14, no. 2 (2013): 623–44. http://dx.doi.org/10.1007/s10270-013-0369-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

., Supriyadi, Anita Purnamasari, Nadira Putri Syaharani, Sandi Maulana, and Yudi Prasetyo. "Digital Transformation in Packaging Supplier Specification Management through PowerApps." International Journal of Research and Innovation in Social Science IX, no. I (2025): 2729–36. https://doi.org/10.47772/ijriss.2025.9010220.

Full text

Abstract:

Digital transformation has become a key driver in improving the efficiency and effectiveness of packaging supplier specification management. In this context, PowerApps emerged as an innovative solution that allows companies to develop custom applications without the need for in-depth programming skills. This study aims to explore how PowerApps can be implemented in packaging specification management, as well as its impact on business processes. Through a qualitative approach, data was collected from interviews with managers and staff involved in the management of packaging specifications. The

APA, Harvard, Vancouver, ISO, and other styles

8

Chen, Shu, and Ming Kai Chen. "A Semantical Approach for Automatically Transforming Software Requirement Specification into Formal Presentation." Advanced Materials Research 225-226 (April 2011): 776–79. http://dx.doi.org/10.4028/www.scientific.net/amr.225-226.776.

Full text

Abstract:

Software engineering is a critical step in obtaining high quality production. However, requirement specifications that written in natural language is inevitably has ambiguity. Modern driven architecture makes use of requirement model for the complement of requirement specification to eliminate such ambiguity. However, currently, the transformation from requirement specification into formal model only limited in syntax level, thus lack of correctness and precision. This paper proposed an approach in semantical level to process textual specifications of the requirements of unlimited natural lang

APA, Harvard, Vancouver, ISO, and other styles

9

Thangaraj, Jagadeeswaran, and Senthilkumaran Ulaganathan. "A Comparative Study on Transformation of UML/OCL to Other Specifications." Recent Advances in Computer Science and Communications 13, no. 2 (2020): 256–64. http://dx.doi.org/10.2174/2213275912666190129121059.

Full text

Abstract:

Background: Static verification is a sound programming methodology that permits automated reasoning about the correctness of an implementation with respect to its formal specification before its execution. Unified Modelling Language is most commonly used modelling language which describes the client’s requirement. Object Constraint Language is a formal language which allows users to express textual constraints regarding the UML model. Therefore, UML/OCL express formal specification and helps the developers to implement the code according to the client’s requirement through software design. Obj

APA, Harvard, Vancouver, ISO, and other styles

10

Karsai, Gabor, Aditya Agrawal, Feng Shi, and Jonathan Sprinkle. "On the Use of Graph Transformation in the Formal Specification of Model Interpreters." JUCS - Journal of Universal Computer Science 9, no. (11) (2003): 1296–321. https://doi.org/10.3217/jucs-009-11-1296.

Full text

Abstract:

Model-based development necessitates the transformation of models between different stages and tools of the design process. These transformations must be precisely, preferably formally, specified, such that end-to-end semantic interoperability is maintained. The paper introduces a graph-transformation-based technique for specifying these model transformations, gives a formal definition for the semantics of the transformation language, describes an implementation of the language, and illustrates its use through an example.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Specification of transformation"

1

Lewington, Christopher P. "Towards constructive specification transformation." Thesis, University of Essex, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.280815.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Cherchago, Alexey. "Service specification and matching based on graph transformation." [S.l.] : [s.n.], 2006. http://deposit.ddb.de/cgi-bin/dokserv?idn=980143039.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

French, Alan Paul. "Specification transformation techniques with applications to operations research." Thesis, University of East Anglia, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.293238.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Hsu, Yung-Kao. "A methodology for refining formal software specification using transformation-based tools." Diss., Georgia Institute of Technology, 1991. http://hdl.handle.net/1853/8185.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Buckberry, Graham Robert. "An editor and transformation system for a Z animation CASE tool." Thesis, Sheffield Hallam University, 1999. http://shura.shu.ac.uk/19404/.

Full text

Abstract:

In order to remain competitive, modem systems developers are increasingly under pressure to produce software solutions to complex problems faster and cheaper, whilst at the same time maintaining a high level of quality in the delivered product. One of the key quality measures is the delivery of a system that meets the customer's requirements. Failure to meet the customer's requirements may engender significant re-design, which in turn will cost money, delay product introduction and may seriously damage the developer's credibility. For these reasons, the problem of developing a precise and unam

APA, Harvard, Vancouver, ISO, and other styles

6

Amer, Hoda. "Automatic transformation of UML software specification into LQN performance models using graph grammar techniques." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/MQ61015.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Fitzpatrick, Stephen. "The specification of array-based algorithms and the automated derivation of parallel implementations through program transformation." Thesis, Queen's University Belfast, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.282150.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Sousa, Vasco Nuno da Silva de. "Model driven development implementation of a control systems user interfaces specification tool." Master's thesis, FCT - UNL, 2009. http://hdl.handle.net/10362/1961.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

DIAGNE, ALIOUNE. "Une approche multi-formalismes de specification de sysemes repartis : transformation de composants modulaires en reseaux de petri." Paris 6, 1997. http://www.theses.fr/1997PA066645.

Full text

Abstract:

La specification de systemes repartis complexes et ouverts exige de gerer la qualite le long de leur cycle de vie et de disposer de reference commune permettant de les federer. Il faut donc avoir un support methodologique et des methodes formelles de verification et de validation. Le support methodologique peut etre fourni par les methodes orientees-objet de couverture du cycle de vie (de l'analyse a la realisation) qui ont acquis un statut de standards commerciaux. Base sur les memes concepts que ces methodes, le modele de reference des traitements repartis ouverts propose une base federatric

APA, Harvard, Vancouver, ISO, and other styles

10

Baggi, Michele. "Rule-based Methodologies for the Specification and Analysis of Complex Computing Systems." Doctoral thesis, Universitat Politècnica de València, 2010. http://hdl.handle.net/10251/8964.

Full text

Abstract:

Desde los orígenes del hardware y el software hasta la época actual, la complejidad de los sistemas de cálculo ha supuesto un problema al cual informáticos, ingenieros y programadores han tenido que enfrentarse. Como resultado de este esfuerzo han surgido y madurado importantes áreas de investigación. En esta disertación abordamos algunas de las líneas de investigación actuales relacionada con el análisis y la verificación de sistemas de computación complejos utilizando métodos formales y lenguajes de dominio específico. En esta tesis nos centramos en los sistemas distribuidos, con un e

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Specification of transformation"

1

Partsch, Helmut A. Specification and Transformation of Programs. Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/978-3-642-61512-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Hoffmann, Berthold, and Bernd Krieg-Brückner, eds. Program Development by Specification and Transformation. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-56733-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Meertens, L. G. L. T., IFIP Technical Committee 2, Programming., and IFIP Working Group 2.1 on Algol., eds. Program specification and transformation: Proceedings of the IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17April, 1986. North-Holland, 1987.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Partsch, Helmut A. Specification and transformation of programs: A formal approach to software development. Springer-Verlag, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation (1986 Bad Tölz, Germany). Program specification and transformation: Proceedings of the IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17 April 1986. North-Holland, 1987.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

1953-, Hoffmann Berthold, and Krieg-Brückner B, eds. Program development by specification and transformation: The PROSPECTRA methodology, language family, and system. Springer-Verlag, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Heckel, Reiko, and Gabriele Taentzer, eds. Graph Transformation, Specifications, and Nets. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-75396-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Tottossy, Beatrice, ed. Fonti di Weltliteratur. Firenze University Press, 2012. http://dx.doi.org/10.36253/978-88-6655-312-0.

Full text

Abstract:

53 writers invited to speak, as artists, of themselves and their world at the beginning of the new millennium in no more than 2002 keystrokes. A new research criterion with which Fonti di Weltliteratur. Ungheria obtains the real and literary data for a theoretical specification of the state and behaviour of the cultural sphere in the globalized context, in the critical passage constituted – for the political and economic spheres as well – by a transformation of linguistic—national realities. Brief historical notes on the recent and current status of the writer in a Hungary passing from dictato

APA, Harvard, Vancouver, ISO, and other styles

9

Bass, Andrew Paul. The transformational implementation of JSD process specifications via finite automata representation. Aston University. Department of Computing Science and Applied Mathematics, 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

L. G. L. T. Meertens. Program Specification and Transformation. Elsevier Science Ltd, 1987.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Specification of transformation"

1

Liu, Junbo, and Bernd Krieg-Brückner. "Transformation." In Program Development by Specification and Transformation. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-56733-x_145.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Bardohl, Roswitha, Claudia Ermel, and Julia Padberg. "Transforming Specification Architectures by GenGED." In Graph Transformation. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45832-8_5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Grünler, Thomas, Micheal Breau, and Rainer Weber. "Algebraic specification." In Program Development by Specification and Transformation. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-56733-x_142.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Partsch, Helmut A. "Formal Problem Specification." In Specification and Transformation of Programs. Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/978-3-642-61512-2_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Partsch, Helmut A. "Basic Transformation Techniques." In Specification and Transformation of Programs. Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/978-3-642-61512-2_4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Partsch, Helmut A. "Transformation of Procedural Programs." In Specification and Transformation of Programs. Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/978-3-642-61512-2_7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Partsch, Helmut A. "Transformation of Data Structures." In Specification and Transformation of Programs. Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/978-3-642-61512-2_8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Heckel, Reiko, and Gabriele Taentzer. "Service Specification and Matching." In Graph Transformation for Software Engineers. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-43916-3_6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Iglesias, M. J. Fernández, and M. Llamas Nistal. "Algebraic Specification through Expression Transformation." In Formal Description Techniques and Protocol Specification, Testing and Verification. Springer US, 1997. http://dx.doi.org/10.1007/978-0-387-35271-8_22.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Krieg-Brückner, Bernd. "Transformation of Interface Specifications." In Recent Trends in Data Type Specification. Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/978-3-662-09691-8_12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Specification of transformation"

1

Estivill-Castro, Vladimir, Miguel Carrillo, and David Rosenblueth. "LLFSMs to TLA+: A Model-to-Text Transformation of Executable Models Enabling Specification and Verification of Multi-Threaded and Concurrent Systems." In 13th International Conference on Model-Based Software and Systems Engineering. SCITEPRESS - Science and Technology Publications, 2025. https://doi.org/10.5220/0013094700003896.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Bahrami, Fahimeh, Rodolfo Jordão, Ingo Sander, and George Ungureanu. "Automatic Parallelization of Embedded Software via Hierarchical Process Network Transformations." In 2024 Forum on Specification & Design Languages (FDL). IEEE, 2024. http://dx.doi.org/10.1109/fdl63219.2024.10673845.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Lano, Kevin, and David Clark. "Model Transformation Specification and Verification." In 2008 Eighth International Conference on Quality Software (QSIC). IEEE, 2008. http://dx.doi.org/10.1109/qsic.2008.38.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Sani, Asmiza Abdul, Fiona A. C. Polack, and Richard F. Paige. "Model transformation specification for automated formal verification." In 2011 5th Malaysian Conference in Software Engineering (MySEC). IEEE, 2011. http://dx.doi.org/10.1109/mysec.2011.6140647.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Carle, Alan, and Lori Pollock. "Modular specification of incremental program transformation systems." In the 11th international conference. ACM Press, 1989. http://dx.doi.org/10.1145/74587.74612.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

"A FORMAL LANGUAGE FOR MODEL TRANSFORMATION SPECIFICATION." In 7th International Conference on Enterprise Information Systems. SciTePress - Science and and Technology Publications, 2005. http://dx.doi.org/10.5220/0002546104290433.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Sneed, H. M., and G. Jandrasics. "Inverse transformation of software from code to specification." In 1988 Conference on Software Maintenance. IEEE, 1988. http://dx.doi.org/10.1109/icsm.1988.10149.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Lukács, Gábor, and Tamás Bartha. "Transformation domain requirements specification into computation tree logic language." In 2022 IEEE 1st International Conference on Cognitive Mobility (CogMob). IEEE, 2022. http://dx.doi.org/10.1109/cogmob55547.2022.10117911.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Watanabe, Hiroshi. "SPECIFICATION FOR AUDIT TRAIL IN OIML D31: TOWARD RUNTIME VERIFICATION." In First International IMEKO TC6 Conference on Metrology and Digital Transformation. IMEKO, 2022. http://dx.doi.org/10.21014/tc6-2022.019.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Avazpour, Iman, John Grundy, and Lars Grunske. "Tool support for automatic model transformation specification using concrete visualisations." In 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE). IEEE, 2013. http://dx.doi.org/10.1109/ase.2013.6693141.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Specification of transformation"

1

Attie, Paul. A Theoretical Framework for Specification Refinement Via Transformations. Defense Technical Information Center, 1998. http://dx.doi.org/10.21236/ada348660.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Mogliani, Matteo, and Florens Odendahl. Density forecast transformations. Banco de España, 2025. https://doi.org/10.53479/38959.

Full text

Abstract:

The common choice of using a direct forecasting scheme implies that the individual predictions ignore information on their cross-horizon dependence. However, this dependence is needed if the forecaster has to construct, based on direct density forecasts, predictive objects that are functions of several horizons (e.g. when constructing annual-average growth rates from quarter-on-quarter growth rates). To address this issue we propose using copulas to combine the individual h-step-ahead predictive distributions into one joint predictive distribution. Our method is particularly appealing to those

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!