Szczegóły publikacji

Opis bibliograficzny

Visual software modelling with extended rule-based model : a knowledge-based programming solution for general software design / Grzegorz J. NALEPA, Igor WOJNICKI // W: ENASE 2007 : proceedings of the second international conference on Evaluation of Novel Approaches to Software Engineering : Barcelona, Spain, July 23–25, 2007 / eds. Cesar Gonzalez-Perez, Leszek A. Maciaszek. — [Setúbal, Portugal] : INSTICC Press, cop. 2007. — Dodatkowo na okł.: Second international working conference on Evaluation of Novel Approaches to Software Engineering. — ISBN: 978-989-8111-10-4. — S. 41–47. — Bibliogr. s. 47, Abstr.

Autorzy (2)

Dane bibliometryczne

ID BaDAP34539
Data dodania do BaDAP2007-10-04
Rok publikacji2007
Typ publikacjimateriały konferencyjne (aut.)
Otwarty dostęptak

Abstract

Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic procedural, or object-oriented approaches. Even though, there has been a lot of effort to use rules to model business logic in classic software no generic solution has been provided so far. In this paper a new approach for generalized rule-based programming is given. It is based on a use of advanced rule representation, which includes an extended attribute-based language, a non-monotonic inference strategy, with explicit inference control on the rule level. The paper shows how some typical programming constructions, as well as classic programs can be modelled in this approach. The approach can largely improve both the design and the implementation of complex software.

Publikacje, które mogą Cię zainteresować

fragment książki
#79872Data dodania: 21.2.2014
Deduction-based formal verification of requirements models with automatic generation of logical specifications / Radosław KLIMEK // W: Evaluation of Novel Approaches to Software Engineering : 7th international conference ENASE 2012 : Wrocław, Poland, June 29–30, 2012 : revised selected papers / eds. Leszek A. Maciaszek, Joaquim Filipe. — Berlin ; Heidelberg : Springer, cop. 2013. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 410). — ISBN: 978-3-642-45421-9; e-ISBN: 978-3-642-45422-6. — S. 157–171
fragment książki
#167858Data dodania: 29.6.2026
Generating synthetic datasets for process mining / Jakub SAWCZUK, Marcin SZPYRKA // W: ENASE 2026 [Dokument elektroniczny] : proceedings of the 21st international conference on Evaluation of Novel Approaches to Software Engineering : Benidorm - Spain, May 22 - 24, 2026 , Vol. 2 / eds. Mike Mannion, Tomi Mannisto, Leszek Maciaszek. — Wersja do Windows. — Dane tekstowe. — Portugal : SciTePress – Science and Technology Publications, cop. 2026. — ( ENASE ; ISSN  2184-4895 ). — e-ISBN: 978-989-758-828-0. — S. 1174–1181. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: https://www.scitepress.org/PublicationsDetail.aspx?ID=7rC0D1o... [2026-05-22]. — Bibliogr. s. 1181, Abstr. — Dostęp po zalogowaniu