115,726 Hits in 4.3 sec

Unification of verification and validation methods for software systems: progress report and initial case study formulation

J.C. Browne, C. Lin, K. Kane, Yoonsik Cheon, P. Teller
2006 Proceedings 20th IEEE International Parallel & Distributed Processing Symposium  
The initial steps of a case study of application of the unified approach to V&V is sketched including definition of the problem domain, the approach and some details of a property specification language  ...  This paper presents initial research on unification of methods for verification and validation (V&V)of software systems. The synergism among methods for V&V are described.  ...  A systematic formulation of design principles that enables comprehensive and effective verification and validation, and establishes a process for developing software in which the unified verification approach  ... 
doi:10.1109/ipdps.2006.1639582 dblp:conf/ipps/BrowneLKCT06 fatcat:dhgbuo5xlbdb5dxifdszcmkt74

A Framework for Process Science and Technology Applied to Concurrent Engineering [chapter]

Germano de Souza Kienbaum, Luiz Alexandre da Silva, Geilson Loureiro, Alvaro Augusto Neto, Stewart Robinson
2012 Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment  
Building upon this unified model view, the work draws some guidelines for the development of a systematic approach to conduct Process Science & Technology studies, named a Framework for Process Science  ...  The approach is demonstrated by means of a study case applied to the service processes for integration and testing of advanced technological products provided by the Laboratory of Integration and Testing  ...  diagrams for building the organization management process model representations of the system and the use of a Unified Approach for Modeling, Simulation and Business Process Management for its implementation  ... 
doi:10.1007/978-1-4471-4426-7_87 dblp:conf/ispe/KienbaumML12 fatcat:qgnr7orsg5e2dnf2wrivdtlx7u

An architecture for non-invasive software measurement [article]

Vasilii Artemev, Vladimir Ivanov, Manuel Mazzara, Alan Rogers, Alberto Sillitti, Giancarlo Succi, Eugene Zouev
2017 arXiv   pre-print
Analysis of data related to software development helps to increase quality, control and predictability of software development processes and products.However, collecting such data for is a complex task  ...  We employ the approach to the development of an architecture for non-invasive software measurement system and explain its advantages and limitations.  ...  Introduction Analysis of data related to software development helps to increase quality, control and predictability of both a development process and a resulting software product [21] .  ... 
arXiv:1702.07138v1 fatcat:teifrvwepfgxxm7n37a77usqru

Heterogeneous Artifacts Construction For Software Evolution Control

Mounir Zekkaoui, Abdelhadi Fennan
2014 Zenodo  
Hence the need for a unified approach for extraction and representation of different heterogeneous artifacts in order to ensure a unified and detailed description of heterogeneous software artifacts, exploitable  ...  And an understanding of descriptive knowledge of the developed software artifacts is a prerequisite condition for the success of the evolutionary process.  ...  Hence the need for a meta-model of unified representation of heterogeneous artifacts and an expression formalism of all artifacts.  ... 
doi:10.5281/zenodo.1094576 fatcat:4oyvxhbe35hatcogm3j3yaty5i

Framework for Describing UML Compatible Development Processes [chapter]

Pavel Hruby
1999 Lecture Notes in Computer Science  
This paper discusses features of such a process framework with an eye towards approaches such as Fusion, OPEN and the Rational Unified Process. Acknowledgement. I would like to thank to Prof. B.  ...  Instead of describing a specific process, it might help to describe a process framework and reuse it by creating specific processes for specific needs.  ...  The figure illustrates the scenario of the requirements, analysis and design workflows of the Rational Unified Process.  ... 
doi:10.1007/3-540-46852-8_22 fatcat:lv4wfnplt5eujkvkvhf4q2k2jm

Improving interoperability between architectural and structural design models: An industry foundation classes-based approach with web-based tools

Zhen-Zhong Hu, Xiao-Yang Zhang, Heng-Wei Wang, Mohamad Kassem
2016 Automation in Construction  
The proposed approach aims to achieve the conversion by overcoming the inconsistencies in data structures, representation logics and syntax used in different software applications.  ...  This paper proposes a novel approach which combines an Industry Foundation Classes (IFC)-based Unified Information Model with a number of algorithms to enhance the interoperability:(a) between architectural  ...  Acknowledgements 557 We are grateful for the support provided by the National Natural Science Foundation of China  ... 
doi:10.1016/j.autcon.2016.02.001 fatcat:5b2zylg3q5gxdl2s4vwpstmmxu

Integrated Framework of Agile and CMMI: An Alternative Path towards Product Focused SPI for Small Companies

Tatek Engdashet, Ricardo J. Machado, Dida Midekso
2016 Lecture Notes on Software Engineering  
Developing quality software product is a challenging activity and yet necessary asset for most software companies especially small and medium size companies.  ...  For a Software process improvement (SPI) activity to be effective in such companies, the day to day product-focused activities needs to align with SPI activity.  ...  In continuous representation of software process improvement, the capability level for a particular process area passes through 4 levels (incomplete, performed, managed, and defined), in CMMI V1.3.  ... 
doi:10.7763/lnse.2016.v4.214 fatcat:kll3huiwpvfx7evuargmdwlole

Developing business object models with patterns and ontologies

Haitham S. Hamza
2005 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '05  
The approach uses ontologies to unify the representation and integration of knowledge from analysis patterns with different structures.  ...  We propose a new approach for developing Business Object Model (BOMs).  ...  A BOM drives the rest of the requirements analysis process and forms a base for the rest of the development activities [3, 6] .  ... 
doi:10.1145/1094855.1094886 dblp:conf/oopsla/Hamza05 fatcat:tqzzplxj3zefzbelxkr4giewoa

Current Trends in the Algebraic Image Analysis: A Survey [chapter]

Igor Gurevich, Yulia Trusova, Vera Yashina
2013 Lecture Notes in Computer Science  
The main goal of the Algebraic Approach is the design of a unified scheme for the representation of objects for the purposes of their recognition and the transformation of such representations in the suitable  ...  Development of this line of image analysis and pattern recognition is of crucial importance for automated image mining and application problems solving.  ...  This work was supported in part by the Russian Foundation for Basic Research (projects Nos. 11-01-00990, 12-07-31123) and by the Presidium of the Russian Academy of Sciences within the Program "Information  ... 
doi:10.1007/978-3-642-41822-8_53 fatcat:d5okoelvhjeypdhvxg5w24ej4m

Modeling RTCA DO-178C Specification to Facilitate Avionic Software System Design, Verification, and Validation

Emanuel S. Grant, Tanaya Datta
2016 International Journal of Future Computer and Communication  
Several UML diagrams are created in order to represent DO-178C in a format that is easier related to model-driven software development.  ...  Specifically, UML Package Diagrams, Activity Diagrams and Class Diagrams are used to illustrate the various processes, sub-processes, activities and contents as defined in the DO-178C specification.  ...  The approach taken is to transform the textual representation of DO-178C into a set of UML (Unified Modeling Language) [4] models that would be in the same representation models of the research methodologies  ... 
doi:10.18178/ijfcc.2016.5.2.457 fatcat:igkyet6kvjfgrlntcqkne5jibi

A Meta-Meta-Model for Seven Business Process Modeling Languages

Farideh Heidari, Pericles Loucopoulos, Frances Brazier, Joseph Barjis
2013 2013 IEEE 15th Conference on Business Informatics  
In cross-organizational business processes and heterogeneous organizations where multiple BPMLs are deployed there is a need for a unified view to ease communication and foster understandability.  ...  An ontological analysis of the representational capability of this meta-model is examined in relation to the Bunge-Wand-Weber ontology and applicability of the approach is demonstrated via an Example.  ...  Sander van Splunter and Dr. Pieter van Langen for their valuable comments and sharing of their knowledge.  ... 
doi:10.1109/cbi.2013.38 dblp:conf/wecwis/HeidariLBB13 fatcat:t5usmkbu6nfvdi7ltcp5oaz3ne

Stochastic Approach - Markov Chain Applied To The Analysis And Project Of The Information Systems Oriented To Object

Joaquim Rodrigo de Oliveira, Antônio Sérgio Coelho, Stéfano Frizzo Stefenon, Cristina Keiko Yamaguchi
2017 Zenodo  
This research sought an understanding of the implementation of a stochastic approach, as applied to analysis and development of information systems to object-oriented.  ...  In order to contribute towards advancing the scope of the area called System Analysis and Development, whose focus is on modeling the view of management, execution and process engineering.  ...  Unified Process -PU, a process of software engineering which uses the object-oriented approach in its conception (Mclaughlin et al, 2007) , it was developed and documented using the Unified Modeling Language  ... 
doi:10.5281/zenodo.883854 fatcat:qsl3wsr6cjey3d4hftv26rnbki

Wisdom — A UML Based Architecture for Interactive Systems [chapter]

Nuno Jardim Nunes, João Falcão e Cunha
2001 Lecture Notes in Computer Science  
Here we present a conceptual architectural model that expands the analysis framework of the Unified Process and the UML profile for software development processes.  ...  The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it's support for building interactive systems is still acknowledged to be insufficient.  ...  Unified Process approach, also suggested as the UML standard for software development processes.  ... 
doi:10.1007/3-540-44675-3_12 fatcat:7bbrfkenn5h6bey3am5zsr24o4

Application of Visual Modeling Technique to the Sudan Investment GIS Model

M.A. Gorani, M. A. Kheir Shanan
2008 Journal of King Saud University: Engineering Sciences  
The modelling approach is implemented using the Unified Modelling Language (UML) as notation and the Unified Process (UP) of objectoriented software development as methodological process.  ...  On this paper visual modelling technique was introduced to generate a prototype GIS model for the investment projects in the Sudan.  ...  ACKNOWLEDGEMENTS We are indebted to the Ministry of Investment for providing the basic data and for Sudan Engineering & Digital Information Centre for providing the implementation resources.  ... 
doi:10.1016/s1018-3639(18)30832-8 fatcat:r7eshth2dbcutkisjkvrcckk2u

Unified Modeling Language in History and Social Science Education

Jan Bergandy
2013 GSTF International Journal on Computing  
UML has been successfully used by software industry as a standardized graphical modeling language in specification and design of software systems.  ...  This paper addresses using Unified Modeling Language (UML), a proven and well supported technology, in teaching problem solving skills to middle and high school age students.  ...  The advantage of our approach is that students can express, and learn an idea using a graphical representation (UML diagrams).  ... 
doi:10.7603/s40601-013-0026-9 fatcat:264aed2z4zffjinon36er5idh4
« Previous Showing results 1 — 15 out of 115,726 results