Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 4

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: języki specyfikacji

Sortuj według:

Ogranicz wyniki do:

Języki specyfikacji w budowie oprogramowania dla metody elementów skończonych

100%

Grosser A.

Studia i Materiały / Europejska Uczelnia Informatyczno-Ekonomiczna w Warszawie

2016

tom Nr 1(11)

1--11

Tworzenie oprogramowania metodą elementów skończonych z wykorzystaniem tradycyjnych języków programowania wysokiego poziomu takich jak C++ czy Fortran wymaga często koncentracji na niskopoziomowych mechanizmach programistycznych takich jak na przykład ręczne zarządzanie pamięcią. Ponadto, oprócz bardzo dobrej znajomości użytego języka, konieczne jest też dostosowanie problemu do poziomu abstrakcji oferowanego przez ten język. Dlatego wygodniejszym podejściem jest użycie języków dostosowanych do rozpatrywanej dziedziny problemowej – języków specyfikacji. Artykuł prezentuje różne języki specyfikacji użyteczne do budowy oprogramowania dla metody elementów skończonych.

Creating a finite element software using traditional, high-level programming languages, such as the C++ or Fortran, often requires concentration on low-level programming mechanisms such as, for example, manual memory management. In addition to very good knowledge of the used language, it is also necessary to adjust the problem to the level of abstraction offered by the language. Therefore, more convenient approach is to use language adapted to the present problem – domain specification language. The article presents different domain specific languages useful for building software for finite element method.

A reusability-oriented use-case model specification language

84%

Hnatkowska B. , Zabawa P.

Annals of Computer Science and Information Systems

2023

tom Vol. 35

567--576

Use-case models play an important role in the software development processes. They are used for specifying functional requirements, estimating software development project efforts, and planning iterations. The use-case model is subject to change as requirements are modified or the model is refactored. Therefore, it is essential that the use-case model is not redundant and reusable. Existing approaches for use-case model specification support reusability in a limited way. This paper fills the gap. It introduces a new Use-Case Flow (UCF) approach to specify the entire use-case model in a convenient yet formalized way. The paper contains the UCF metamodel, consisting of its abstract syntax and a description of the semantics of the metamodel elements. A textual concrete syntax of the T-UCF is also introduced and informally described. The concrete syntax is dedicated to the specification of the use-case model in a well-defined textual form. The stress is put on the reusability of the constructs defined by a use-case modeler when defining or changing the use-case model. An example of a usecase model specified in the T-UCF language is presented in the paper.

Composition of languages embedded in scala

84%

Haeri S. H. , Keir P.

Annals of Computer Science and Information Systems

2019

tom Vol. 18

399–-410

Composition is amongst the major challenges faced in language engineering. Erdweg et al. offered a taxonomy for language composition. Mernik catalogued the use of the Language Definitional Framework LISA for composition sorts in that taxonomy. We produce a similar catalogue for embedded language engineering in Scala.

The Syntax of a Multi-Level Production Process Modeling Language

67%

Vještica M. , Dimitrieski V. , Kordić S. , Ristić S. , Luković I. , Pisarić M.

Annals of Computer Science and Information Systems

2020

tom Vol. 21

751--760

The fourth industrial revolution introduces changes in traditional manufacturing systems and creates basis for a lot-size-one production. The complexity of production processes is significantly increased, alongside the need to enable efficient process simulation, execution, monitoring, real-time decision making and control. The main goal of our research is to define a methodological approach and a software solution in which the Model-Driven Software Development (MDSD) principles and Domain-Specific Modeling Languages (DSMLs) are used to create a framework for the formal description and automatic execution of production processes. In that way production process models are used as central artefacts to manage the production. In this paper, we propose a DSML which can be used to create production process models that are suitable for automatic generation of executable code. The generated code is used for automatic execution of production processes within a simulation or a shop floor.