224,300 Hits in 8.2 sec

A Software Process Framework for Guiding the Construction Specification of Geospatial Databases

Yolanda M Fernandez Ordonez, Jesus Soria Ruiz, Antonia Macedo Cruz
2017 Journal of Information Technology & Software Engineering  
Acknowledgment The funds for covering open access publication costs were covered by College of Postgraduates and by the National Institute of Research for Forestry Agricultural and Livestock in Mexico.  ...  For example, workflows and item-derivation processes are involved, and thus describing them constitutes part of the formal requirements specification.  ...  Accordingly, this paper presents MP-Geo, a framework for a software process specification for guiding the construction of a specialized geospatial database and its management system.  ... 
doi:10.4172/2165-7866.1000219 fatcat:stn47bm62bgmzjvvxijcu7rbpi

A framework for specification-based testing

P. Stocks, D. Carrington
1996 IEEE Transactions on Software Engineering  
Test templates and a test template framework are introduced as useful concepts in specification-based testing The framework can be defined using any model-based specification notation and used to derive  ...  The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process.  ...  The major contribution of this work is the notion of test templates and the test template framework. We have defined and demonstrated a formal framework for specification-based testing.  ... 
doi:10.1109/32.553698 fatcat:5nmac6xefrdhtfybaqnsr3um2i

A Framework for Defect Prediction in Specific Software Project Contexts [chapter]

Dindin Wahyudin, Rudolf Ramler, Stefan Biffl
2011 Lecture Notes in Computer Science  
In this paper we present a framework for conducting software defect prediction as aid for the project manager in the context of a particular project or organization.  ...  The framework has been aligned with practitioners' requirements and is supported by our findings from a systematical literature review on software defect prediction.  ...  This framework is in line with the requirements outlined in the previous section and has been derived from our experience and literature on software defect prediction and software estimation.  ... 
doi:10.1007/978-3-642-22386-0_20 fatcat:trwzuon4zzcgznt6ljiypra3si

HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications

Manuel Giménez, Mariano M. Moscato, Carlos G. Lopez Pombo, Marcelo F. Frias
2014 Electronic Proceedings in Theoretical Computer Science  
In this work we present HeteroGenius, a framework conceived to develop tools that allow users to perform hybrid analysis of heterogeneous software specifications.  ...  HeteroGenius was designed prioritising the possibility of adding new specification languages and analysis tools and enabling a synergic relation of the techniques under a graphical interface satisfying  ...  The field of institutions [5] grew as an effort in providing formal foundations for software specification languages and analysis techniques.  ... 
doi:10.4204/eptcs.139.7 fatcat:bgz25syehvh3phg47mbxmnypca

A framework for expressing the relationships between multiple views in requirements specification

B. Nuseibeh, J. Kramer, A. Finkelstein
1994 IEEE Transactions on Software Engineering  
We discuss the notion of inter-Viewpoint communication in the context of this Viewpoints framework, and propose a general model for Viewpoint interaction and integration.  ...  We elaborate on some of the requirements for expressing and enacting inter-Viewpoint relationships-the vehicles for consistency checking and inconsistency management.  ...  Easterbrook and the anonymous reviewers for their feedback, and to M. Goedicke for his contributions to the Viewpoints framework.  ... 
doi:10.1109/32.328995 fatcat:tvqkcve2i5dzlmpweuvzkxvbjq

BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems [article]

Jan Olaf Blech, Heinz Schmidt
2014 arXiv   pre-print
In this report, we present work towards a framework for modeling and checking behavior of spatially distributed component systems.  ...  Design goals of our framework are the ability to model spatial behavior in a component oriented, simple and intuitive way, the possibility to automatically analyse and verify systems and integration possibilities  ...  Related Work Work that is relevant to this paper has been done in areas such as formal logic and process algebras, hybrid-systems, robotics and formal methods for component-based software engineering.  ... 
arXiv:1404.3537v1 fatcat:76aumo2bcnff5cvwcy7pbceig4

A Methodology and Framework for Creating Domain-Specific Development Infrastructures

George Edwards, Nenad Medvidovic
2008 2008 23rd IEEE/ACM International Conference on Automated Software Engineering  
We also present and evaluate a framework, called XTEAM, that implements our approach, resulting in structured processes and enforceable guidelines for DSDI integration.  ...  In this paper, we propose a methodology for incorporating semantics within MDE frameworks to simplify and automate DSDI integration.  ...  of the base type. • Interface inheritance creates a derived type that inherits just the relationships of the base type.  ... 
doi:10.1109/ase.2008.27 dblp:conf/kbse/EdwardsM08 fatcat:2pq2iu3vwvbnxmhjd5kdas7qay

A formal specification and verification framework for Time Warp-based parallel simulation

P. Frey, R. Radhakrishnan, H.W. Carter, P.A. Wilsey, P. Alexander
2002 IEEE Transactions on Software Engineering  
AbstractÐThis paper describes a formal framework developed using the Prototype Verification System (PVS) to model and verify distributed simulation kernels based on the Time Warp paradigm.  ...  Correctness conditions for Time Warp simulation are identified describing causal ordering of event processing and correct rollback processing.  ...  This encompasses three tasks: 1) formal specification of the basic time warp protocol, 2) formal verification of the time warp specification, and 3) generation of a reusable specification framework for  ... 
doi:10.1109/32.979989 fatcat:nmspntfysndebjwy6stw6mt2xm

A framework for evaluating specification methods for reactive systems-experience report

M.A. Ardis, J.A. Chaves, L.J. Jagadeesan, P. Mataga, C. Puchol, M.G. Staskauskas, J. Von Olnhausen
1996 IEEE Transactions on Software Engineering  
We have developed a set of criteria for evaluating and comparing the different specification methods.  ...  Numerous formal specification methods for reactive systems have been proposed in the literature.  ...  Acknowledgements It is a pleasure to acknowledge the help of our colleagues Bill Bielawski, Peter Fales, and Dave Furchtgott who introduced us to APS and Douglas Stuart, who helped with one of the formalisms  ... 
doi:10.1109/32.508312 fatcat:ddzfqvhyi5dydaw5wcncxlhwta

A framework for evaluating specification methods for reactive systems

Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen
1995 Proceedings of the 17th international conference on Software engineering - ICSE '95  
We have developed a set of criteria for evaluating and comparing the different specification methods.  ...  Numerous formal specification methods for reactive systems have been proposed in the literature.  ...  Acknowledgements It is a pleasure to acknowledge the help of our colleagues Bill Bielawski, Peter Fales, and Dave Furchtgott who introduced us to APS and Douglas Stuart, who helped with one of the formalisms  ... 
doi:10.1145/225014.225029 dblp:conf/icse/ArdisCJMPSO95 fatcat:up4kmldk3bc5zhz4lfjkixi7ea

FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing

Amador Durán, David Benavides, Sergio Segura, Pablo Trinidad, Antonio Ruiz-Cortés
2015 Journal of Software and Systems Modeling  
Tests results helped to discover some inconsistencies not only in the formal specification, but also in the previous informal definitions of the analysis operations and in current analysis tools.  ...  After this process, the Prolog implementation of FLAME is being used as a reference implementation for some tool developers, some analysis operations have been formally specified for the first time with  ...  Finally, we thank Marwa Benabdelali for using a very early version of the reference implementation of FLAME at the Institut Supérieur de Gestion de Tunis and provide early feedback.  ... 
doi:10.1007/s10270-015-0503-z fatcat:gpd5d7utnvgh7gz4gxgva2ihnm

A Software Framework for Rapid Application-Specific Hybrid Photonic Network-on-Chip Synthesis

Shirish Bahirat, Sudeep Pasricha
2016 Electronics  
The optimization of these hybrid photonic NoCs for parallel embedded applications requires traversing a massive design space to determine suitable application-specific values for hybrid photonic NoC parameters  ...  In this article, we propose a novel suite of software tools for effectively synthesizing hybrid photonic NoCs.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/electronics5020021 fatcat:77ulhasdkjbh3klhpg2u7jbjcq

ParDSL: a domain-specific language framework for supporting deployment of parallel algorithms

Bedir Tekinerdogan, Ethem Arkin
2018 Journal of Software and Systems Modeling  
The language framework includes four coherent set of domain-specific languages each of which focuses on an activity of the mapping process.  ...  We use the domain-specific languages for modeling the design as well as for generating the required platformspecific models and the code of the selected parallel algorithm.  ...  , and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.  ... 
doi:10.1007/s10270-018-00705-w fatcat:feskdcrxvja6vjbl4iggqdgugq

A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies

Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2017 IEEE Transactions on Software Engineering  
In this paper, we introduce a formally-defined, fully-implemented framework for specification, analysis and enforcement of attribute-based access control policies.  ...  The framework is supported by Java-based tools, among which an Eclipse-based IDE offering a tailored development and analysis environment for FACPL policies and a Java library for policy enforcement.  ...  Our framework is supported by a Java-based software toolchain. The key software tool is an Eclipse-based IDE that offers a tailored development and analysis environment for FACPL policies.  ... 
doi:10.1109/tse.2017.2765640 fatcat:d7lsslgxfbcwzd2ami6e37vxom

MontiCore: a framework for compositional development of domain specific languages

Holger Krahn, Bernhard Rumpe, Steven Völkel
2010 International Journal on Software Tools for Technology Transfer (STTT)  
In this article, we discuss these arising issues by describing a framework for the compositional development of textual DSLs and their supporting tools.  ...  For enhancing the usability of the abstract syntax, we added concepts like associations and inheritance to a grammarbased definition in order to build up arbitrary graphs (as known from metamodeling).  ...  Information included in this document reflects only the authors' views. The European Community is not liable for any use that may be made of the information contained herein.  ... 
doi:10.1007/s10009-010-0142-1 fatcat:dwicgc6mp5d45epfdnldnkifve
« Previous Showing results 1 — 15 out of 224,300 results