Zobrazeno 1 - 10
of 39
pro vyhledávání: '"Amnon H. Eden"'
Publikováno v:
Software Quality Journal. 26:249-271
A major impediment to the long-term quality of large and complex programs is inconsistency between design and implementation. Conflicts between intent and execution are common because detecting them is laborious, error-prone, and poorly supported, an
Publikováno v:
Science of Computer Programming. 80:211-222
Representing design decisions for complex software systems, tracing them to code, and enforcing them throughout the lifecycle are pressing concerns for software architects and developers. To be of practical use, specification and modeling languages f
Publikováno v:
Formal Methods in System Design. 43:1-28
Software design, development and evolution commonly require programmers to model design decisions, visualize implemented programs, and detect conflicts between design and implementation. However, common design notations rarely reconcile theoretical c
Autor:
Amnon H. Eden
Publikováno v:
Minds and Machines. 21:123-133
The essays included in the special issue dedicated to the philosophy of computer science examine new philosophical questions that arise from reflection upon conceptual issues in computer science and the insights such an enquiry provides into ongoing
Autor:
Amnon H. Eden
Publikováno v:
Minds and Machines. 17:135-167
We examine the philosophical disputes among computer scientists concerning methodological, ontological, and epistemological questions: Is computer science a branch of mathematics, an engineering discipline, or a natural science? Should knowledge abou
Publikováno v:
2015 World Congress on Information Technology and Computer Applications (WCITCA).
Security design patterns are usually described using a variety of UML diagrams beside textual statements. Because, UML class diagrams are used to describe the structural aspects and UML sequence and/or activity diagrams are used to describe the behav
Publikováno v:
SOSE
We investigate intuitive claims made in security pattern catalogues using the formal language of Codecharts and the Two-Tier Programming Toolkit. We analyse the Check Point pattern's structure and explore claims about conformance (of programs to the
Singularity Hypotheses: A Scientific and Philosophical Assessment offers authoritative, jargon-free essays and critical commentaries on accelerating technological progress and the notion of technological singularity. It focuses on conjectures about t
Autor:
Amnon H. Eden
Publikováno v:
Minds and Machines. 17:121-123
Autor:
Amnon H. Eden
NEW LANGUAGE VISUALIZES PROGRAM ABSTRACTIONS CLEARLY AND PRECISELY Popular software modelling notations visualize implementation minutiae but fail to scale, to capture design abstractions, and to deliver effective tool support. Tailored to overcome t