Zobrazeno 1 - 10
of 464
pro vyhledávání: '"Story-driven modeling"'
Autor:
John Howse, James Burton
Publikováno v:
Logica Universalis. 11:177-204
Spider diagrams are based on Euler and Venn/Peirce diagrams, forming a system which is as expressive as monadic first order logic with equality. Rather than being primarily intended for logicians, spider diagrams were developed at the end of the 1990
Autor:
Jessica Carter
Publikováno v:
Carter, J M H G 2019, ' Exploring the fruitfulness of diagrams in mathematics ', Synthese, vol. 196, no. 10, pp. 4011-4032 . https://doi.org/10.1007/s11229-017-1635-1
The paper asks whether diagrams in mathematics are particularly fruitful compared to other types of representations. In order to respond to this question a number of examples of propositions and their proofs are considered. In addition I use part of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ceee94e64abdf4b80be2f6323486ae91
https://portal.findresearcher.sdu.dk/da/publications/afd404a7-0bb0-4f79-8b99-eb2c7cb5d27a
https://portal.findresearcher.sdu.dk/da/publications/afd404a7-0bb0-4f79-8b99-eb2c7cb5d27a
Publikováno v:
Journal of Intelligent Manufacturing. 30:855-878
Part modeling and assembly modeling are two important aspects of product modeling, which is crucial to manufacturing industrial completeness. Although the two aspects are greatly integrated, they are separated at the process level in current CAD syst
Autor:
Ahmed Lawgali
Publikováno v:
International Journal of Software Engineering & Applications. 7:89-100
Publikováno v:
Applied Ontology. 11:155-203
Modeling functions is a key aspect of artifact design, including software engineering and business systems modeling, but it is likewise of fundamental importance in natural systems modeling, for example in modeling biological organisms. The Unified M
Publikováno v:
Information Sciences. 330:455-482
This paper establishes the impact of topological and graphical properties on the comprehension of Euler diagrams. To-date, various studies have examined the impact of individual properties of Euler diagrams, such as curve shape and orientation. This
Publikováno v:
Lecture Notes on Software Engineering. 4:41-47
Publikováno v:
Complex Systems Informatics and Modeling Quarterly, Vol 0, Iss 7, Pp 25-50 (2016)
Complex Systems Informatics and Modeling Quarterly; No 7 (2016): Complex Systems Informatics and Modeling Quarterly; 25-50
Complex Systems Informatics and Modeling Quarterly, 2016, 25-50
Complex Systems Informatics and Modeling Quarterly, 2016, 7, pp. 25-50
Complex Systems Informatics and Modeling Quarterly; No 7 (2016): Complex Systems Informatics and Modeling Quarterly; 25-50
Complex Systems Informatics and Modeling Quarterly, 2016, 25-50
Complex Systems Informatics and Modeling Quarterly, 2016, 7, pp. 25-50
Modeling is one of the most important parts of requirements engineering. Most modeling techniques focus primarily on their pragmatics and pay less attention to their syntax and semantics. Different modeling techniques describe different aspects, for
Autor:
Michael Jesse Chonoles
In this chapter, we will continue our coverage of UML 2.5 Behavioral modeling by concentrating on ACTIVITY DIAGRAMS . The Activity Diagrams within UML 2.5 concentrate on behavioral steps, process, control flow, and object (data) flow.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d42263defcd672b1cd3d189596fcabe5
https://doi.org/10.1016/b978-0-12-809640-6.00017-9
https://doi.org/10.1016/b978-0-12-809640-6.00017-9
Publikováno v:
Journal of Visual Languages & Computing. 30:1-16
Today, the agent-oriented methodologies become increasingly attractive to the software system development industry. These methodologies mostly use object-oriented paradigms by concepts like autonomy, pro activity, reactivity, cooperation and alike. T