loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Author: Iaakov Exman

Affiliation: The Jerusalem College of Engineering – JCE-Azrieli, Israel

ISBN: 978-989-758-194-6

Keyword(s): Software Theory, Models, Forbidden Domains, Boundary, Algebra, Eigenvectors, Discrete Design Space.

Related Ontology Subjects/Areas/Topics: Model Analysis and Checking ; Model Composition ; Models ; Paradigm Trends ; Software Engineering

Abstract: There have been many formulations of “theories” of software systems with a variety of techniques, scopes and degrees of sophistication. But, one element is almost universally absent in all these theories: a clear delimitation of what is forbidden in terms of design. This absence is somewhat surprising, as in other engineering disciplines there are obvious forbidden domains. This paper proposes that in addition to common quality criteria for scientific theories – such as formality, universality and precision – an acceptable software theory should clearly demarcate the forbidden in contrast to the possible. This goal is attainable in small and discrete design space as it limits the amount of subspace search. Algebra is argued to be the mathematical field suitable to characterize forbidden domain boundaries, in particular using an eigenvectors approach. Boundaries are illustrated by a case study.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 100.24.122.228

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Exman, I. (2016). Software Theory of the Forbidden in a Discrete Design Space.In Proceedings of the 11th International Joint Conference on Software Technologies - Volume 2: ICSOFT-PT, (ICSOFT 2016) ISBN 978-989-758-194-6, pages 131-137. DOI: 10.5220/0006004601310137

@conference{icsoft-pt16,
author={Iaakov Exman.},
title={Software Theory of the Forbidden in a Discrete Design Space},
booktitle={Proceedings of the 11th International Joint Conference on Software Technologies - Volume 2: ICSOFT-PT, (ICSOFT 2016)},
year={2016},
pages={131-137},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006004601310137},
isbn={978-989-758-194-6},
}

TY - CONF

JO - Proceedings of the 11th International Joint Conference on Software Technologies - Volume 2: ICSOFT-PT, (ICSOFT 2016)
TI - Software Theory of the Forbidden in a Discrete Design Space
SN - 978-989-758-194-6
AU - Exman, I.
PY - 2016
SP - 131
EP - 137
DO - 10.5220/0006004601310137

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.