Filters








30,589 Hits in 4.4 sec

Software Conceptual Integrity: Deconstruction, Then Reconstruction [article]

Iaakov Exman
2018 arXiv   pre-print
Conceptualization and Modularization, iteratively applied during software system design; second, to show that the algebraic Linear Software Models already provide the hitherto lacking formalization of  ...  separation, each with its own specific formal manipulation techniques; b- precise transition between these phases, consisting of explicit mutual relationships.  ...  Acknowledgments The author wishes to thank Alessio Plebe from the University of Messina, Italy, and Gonzalo Genova from the University Carlos III of Madrid, Spain, for their incisive and helpful comments  ... 
arXiv:1811.04315v1 fatcat:ox3baelpvjet7ngky3zroqtazy

Conceptual Software Design: Algebraic Axioms for Conceptual Integrity

Iaakov Exman, Phillip Katz
2017 Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering  
This paper proposes an axiomatic algebraic approach, based upon the assumption that the software system in each level of the system hierarchy is represented by a Modularity Matrix.  ...  Software Conceptual Integrity has been considered a cardinal concern for design and development of software systems.  ...  The three axioms are presented in the logical order of the matrix manipulation needed to obtain the best system design. B.  ... 
doi:10.18293/seke2017-148 dblp:conf/seke/ExmanK17 fatcat:fsdeyev6efhohhmavo2pnqqggi

Linear Software Models: Key Ideas [article]

Iaakov Exman
2015 arXiv   pre-print
The Modularity Matrix is the central algebraic structure of the software theory: it is the source of quantitative modularity criteria; it displays high cohesion, i.e. high sparsity; a Standard Modularity  ...  Linear Software Models is a systematic effort to formulate a theory of software systems neatly based upon standard mathematics, viz. linear algebra.  ...  Formal Concept Analysis (FCA) -Here one finds the relevant background to our paper linking the Modularity Matrix to a Modularity Lattice (Exman and Speicher [12] ).  ... 
arXiv:1510.04652v1 fatcat:yuas3mmhuzderdcavowzcekd5m

Multimedia document engineering in MCF

Peter King, Jocelyne Nanard, Marc Nanard
2002 Proceedings of the 2002 ACM symposium on Document engineering - DocEng '02  
We present the Media Construction Formalism, MCF, whose high level concepts encompass the principles of abstraction, modularity, encapsulation, and reuse, which facilitate formal specification during the  ...  The MCF system promotes the capture of constructs which may emerge during a design, and which can be manipulated by the multimedia designer and executed by the machine at different levels of granularity  ...  Acknowledgement The work of Dr. King is supported by a research grant from the Natural Sciences and Engineering Research Council of Canada.  ... 
doi:10.1145/585060.585063 fatcat:7rj4cj77qvhzrnzncxnkfbvjcm

Fomal Methods and Analyses in Software Product Line Engineering [chapter]

Ina Schaefer, Maurice H. ter Beek
2014 Lecture Notes in Computer Science  
Software product line engineering (SPLE) [5, 11] aims to develop a family of software-intensive systems via systematic, large-scale reuse in order to reduce time-to-market and costs and to increase the  ...  Goals This track brings together researchers and practitioners interested in raising the efficiency and effectiveness of SPLE by applying formal methods and innovative analysis techniques.  ...  The second part considers formal analysis, testing and verification techniques for variant-rich software systems and SPLs.  ... 
doi:10.1007/978-3-662-45234-9_18 fatcat:wn3skieddvfuhgkb7u5hjzdhwq

Multimedia document engineering in MCF

Peter King, Jocelyne Nanard, Marc Nanard
2002 Proceedings of the 2002 ACM symposium on Document engineering - DocEng '02  
We present the Media Construction Formalism, MCF, whose high level concepts encompass the principles of abstraction, modularity, encapsulation, and reuse, which facilitate formal specification during the  ...  The MCF system promotes the capture of constructs which may emerge during a design, and which can be manipulated by the multimedia designer and executed by the machine at different levels of granularity  ...  Acknowledgement The work of Dr. King is supported by a research grant from the Natural Sciences and Engineering Research Council of Canada.  ... 
doi:10.1145/585058.585063 dblp:conf/doceng/KingNN02 fatcat:jeb5srjd6ffefjmiify3f6of3e

Tutorial: Practical verification of network programs

Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger
2013 2013 Formal Methods in Computer-Aided Design  
Broadly, OpenFlow itself lacks the mechanisms that we need to construct software from separate, modular components.  ...  SOFTWARE-DEFINED NETWORKING Recently, a new network architecture has emerged called software defined networking (SDN) that addresses the many of the issues listed above.  ...  Broadly, OpenFlow itself lacks the mechanisms that we need to construct software from separate, modular components.  ... 
doi:10.1109/fmcad.2013.7035518 dblp:conf/fmcad/FosterGRS13 fatcat:ctl3limn3bc6ll7ytzcb4i3xcu

Reconfigurable Knowledge-based Control Solutions for Responsive Manufacturing Systems

Alessandro BRUSAFERI, Andrea BALLARINO, Emanuele CARPANZANO
2011 Studies in Informatics and Control  
Nowadays, a new generation of responsive factories is needed to face continuous changes in product demand and variety, and to manage complex and variant production processes.  ...  In such a context, the present paper describes an automation solution based on a modular distributed approach for agile factories integration and reconfiguration, integrating a knowledge based cooperation  ...  Besides, modularization implies the possibility of developing software code in different control sub-programs, communicating by means of suitable software interfaces, so having smaller and more manageable  ... 
doi:10.24846/v20i1y201103 fatcat:d3fmmq3shrcvvhtdgzvgpstb5i

Applications of the Asf+Sdf Meta-Environment [chapter]

M. G. J. van den Brand
2006 Lecture Notes in Computer Science  
Over the years, this system has been used in a variety of academic and industrial projects ranging from formal program manipulation to conversion of industrial Cobol systems.  ...  The Meta-Environment has been applied in various projects in order to enable the development of high quality tools for the analysis and transformation of large software systems written in languages such  ...  Acknowledgements I would like to thank all current and former members of the Generic Language Technology group at CWI for making the Meta-Environment work.  ... 
doi:10.1007/11877028_9 fatcat:itdojufahncdtprbn7sm5gxtwi

Developing BON as an Industrial-Strength Formal Method [chapter]

Richard F. Paige, Jonathan S. Ostroff
1999 Lecture Notes in Computer Science  
methods development of objectoriented software.  ...  In this paper, we argue that BON is much more suited for the application of formal methods than UML.  ...  The use of mathematics in BON specifications is under the control of the software engineer, for both specification and for formal manipulations like refinement.  ... 
doi:10.1007/3-540-48119-2_46 fatcat:dfca6efxlnfxdmgeuktynlydgq

Expressive Genetic Programming

Lee Spector
2015 Proceedings of the Companion Publication of the 2015 on Genetic and Evolutionary Computation Conference - GECCO Companion '15  
Thanks also to members of the Hampshire College Computational Intelligence Lab for discussions related to this work, to Josiah Erikson for systems support, and to Hampshire College for support for the  ...  Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the authors and do not necessarily reflect the views of the National Science Foundation.  ...  The tutorial will conclude with a discussion of recent enhancements to Push that are intended to support the evolution of complex and robust software systems. ! (+ (* X Y) ! (+ 4 (-Z 23))) ! !  ... 
doi:10.1145/2739482.2756578 dblp:conf/gecco/Spector15 fatcat:mqvnjw7ivvenph3lle27vmdiau

Expressive genetic programming

Lee Spector
2013 Proceeding of the fifteenth annual conference companion on Genetic and evolutionary computation conference companion - GECCO '13 Companion  
Thanks also to members of the Hampshire College Computational Intelligence Lab for discussions related to this work, to Josiah Erikson for systems support, and to Hampshire College for support for the  ...  Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the authors and do not necessarily reflect the views of the National Science Foundation.  ...  The tutorial will conclude with a discussion of recent enhancements to Push that are intended to support the evolution of complex and robust software systems. ! (+ (* X Y) ! (+ 4 (-Z 23))) ! !  ... 
doi:10.1145/2464576.2480806 dblp:conf/gecco/Spector13 fatcat:dvjhkqoe35en5llseqmb7jivwq

Expressive genetic programming

Lee Spector
2014 Proceedings of the 2014 conference companion on Genetic and evolutionary computation companion - GECCO Comp '14  
Thanks also to members of the Hampshire College Computational Intelligence Lab for discussions related to this work, to Josiah Erikson for systems support, and to Hampshire College for support for the  ...  Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the authors and do not necessarily reflect the views of the National Science Foundation.  ...  The tutorial will conclude with a discussion of recent enhancements to Push that are intended to support the evolution of complex and robust software systems. ! (+ (* X Y) ! (+ 4 (-Z 23))) ! !  ... 
doi:10.1145/2598394.2605350 dblp:conf/gecco/Spector14 fatcat:mhhe53bbxrfp7gyuu7ut6ug2hy

VVSL Specification of a Transaction-oriented Access Handler [chapter]

C. A. Middelburg
1992 Workshops in Computing  
The purpose is to clarify the extent to which the description of interfaces to software systems can be improved by the special features of VVSL. This issue is further discussed.  ...  VVSL is a mathematically well-defined VDM-like specification language with features for (1) modular structuring and (2) specifying operations which interfere through a partially shared state.  ...  Furthermore, I wish to thank both referees for their suggestions which have contributed to improvements of the presentation of this paper.  ... 
doi:10.1007/978-1-4471-3864-8_10 fatcat:kzypufbmf5fwzkca5mslcr2moy

SmartTools: A Generator of Interactive Environments Tools [chapter]

Isabelle Attali, Carine Courbis, Pascal Degenne, Alexandre Fau, Didier Parigot, Claude Pasquier
2001 Lecture Notes in Computer Science  
As a result of the modular architecture, we built a distributed instance of SmartTools which required minimal effort.  ...  The fast development of SmartTools (which is a young project, one year old) validates our choices of being open and generic.The main goal of this tool is to provide help and support for designing software  ...  We have much benefited from discussions with Colas Nahaboo, Thierry Kormann and Stéphane Hillion on the topic of XML technologies.  ... 
doi:10.1007/3-540-45306-7_24 fatcat:mtkbg23o2za2hf376i6jffsocy
« Previous Showing results 1 — 15 out of 30,589 results