35,795 Hits in 18.8 sec

Validating a model-driven software architecture evaluation and improvement method: A family of experiments

Javier Gonzalez-Huerta, Emilio Insfran, Silvia Abrahão, Giuseppe Scanniello
2015 Information and Software Technology  
Validating a model-driven software architecture evaluation and improvement method: A family of experiments. Information and Software Technology. 57:405-429.  ...  These issues have motivated us to propose QuaDAI, a method for the derivation, evaluation and improvement of software architectures in model-driven SPL development.  ...  This research is supported by the MULTIPLE project (MICINN TIN2009-13838) and the ValI+D program (ACIF/2011/235).  ... 
doi:10.1016/j.infsof.2014.05.018 fatcat:4owukntozbbwdk732dknrmopre

Comparing business value modeling methods: A family of experiments

Eric Souza, Ana Moreira, João Araújo, Silvia Abrahão, Emilio Insfran, Denis Silva da Silveira
2018 Information and Software Technology  
Moreira, A.; Araújo, J.; Abrahao Gonzales, SM.; Insfrán Pelozo, CE.; Da Silveira, DS. (12-2). Comparing business value modeling methods: A family of experiments. Information and Software Technology.  ...  METHOD: This goal was addressed by performing a family of three controlled experiments with a group of novice software engineers and business analysts to compare the Dynamic Value Description (DVD) method  ...  Acknowledgments We should first like to thank the participants from Spain, Portugal and Brazil who took part in these experiments, for their effort and valuable time.  ... 
doi:10.1016/j.infsof.2018.08.001 fatcat:qjcsgknfu5bu5irtbp6iebrpsu

Evaluating requirements modeling methods based on user perceptions: A family of experiments

Silvia Abrahão, Emilio Insfran, José Angel Carsí, Marcela Genero
2011 Information Sciences  
Evaluating requirements modeling methods based on user perceptions: a family of experiments. Information Sciences. 181(16):3356-3378.  ...  That test was carried out through a family of experiments conducted with students and practitioners and provides evidence of the usefulness of the evaluation method proposed.  ...  [4] extended the TAM model, in order to evaluate user acceptance of a groupware tool for the process of evaluation of software architecture.  ... 
doi:10.1016/j.ins.2011.04.005 fatcat:slghxgci6bg6dlsvu457nc53hm

Experience with the architectural design of a modest product family

Robert W. Schwanke, Robyn R. Lutz
2004 Software, Practice & Experience  
Most interesting were the unanticipated benefits, including decoupling the product-family architecture from the order of implementation of features, and using the product-family architecture as a "guiding  ...  This paper describes a case study that tends to confirm the value of using a product-line approach for the architectural design of a modest product family.  ...  anonymous reviewers for suggestions on improving the organization and focus of the paper.  ... 
doi:10.1002/spe.613 fatcat:26etyvafavgv5nv7sq5gnubcee

On the impact of state-based model-driven development on maintainability: a family of experiments using UniMod

Filippo Ricca, Marco Torchiano, Maurizio Leotta, Alessandro Tiso, Giovanna Guerrini, Gianna Reggio
2017 Empirical Software Engineering  
Keywords Model-Driven Development · MDD · UML · Maintainability · UniMod · Family of experiments · Replication and Maintenance Task 7 This odd naming convention (e.g., o1.z14) is a peculiarity of UniMod  ...  Method: We conducted a family of five experiments involving 100 students that possessed different levels of education (64 Bachelor, 25 Master, and 11 PhD students; in groups sized 11 to 26 per individual  ...  Introduction Model-Driven Development (MDD) is a software production approach that uses models as primary artefacts of the software development process [1] .  ... 
doi:10.1007/s10664-017-9563-8 fatcat:liucat7bavatpo5chalwjsknvm

Developing Families of Method-Oriented Architecture [chapter]

Mohsen Asadi, Bardia Mohabbati, Dragan Gašević, Ebrahim Bagheri
2011 IFIP Advances in Information and Communication Technology  
In order to address these two challenges, we propose the concept of Families of Method-Oriented Architectures.  ...  This concept is built on top of the principles of service-oriented architectures and software product lines.  ...  In evaluations of our current implementation of the feature-driven service discovery, we observed promising results in experimenting with the active service search engines while developing families of  ... 
doi:10.1007/978-3-642-19997-4_16 fatcat:i66jnktvrvb73awjgvhy7pto7e

A review to the usage of concepts of software architecture in agile methods

Farzaneh Akbari, Sayed Mehran Sharafi
2012 2012 International Symposium on Instrumentation & Measurement, Sensor Network and Automation (IMSNA)  
This paper is a review on accomplished proceedings that combine software architecture and agile methods to improve Software developments.  ...  Therefore using software architecture skills in agile methods could improve them toward producing a software system that has an appropriate structure because focuses on achieving quality attributes for  ...  ATAM 4 is a scenario based evaluation of an architecture based on architectural derivers and CBAM 5 as an evaluation method, is applied to choose the best architectural tactics toward improving the architecture  ... 
doi:10.1109/msna.2012.6324602 fatcat:aij3drzqznewtnyoobdov4bghi

Developing Semantically-Enabled Families of Method-Oriented Architectures

Mohsen Asadi, Bardia Mohabbati, Dragan Gaševic, Ebrahim Bagheri, Marek Hatala
2012 International Journal of Information System Modeling and Design  
Method Engineering (ME) has emerged with the aim of improving software development methods by creating and proposing adaptation frameworks whereby methods are created to provide suitable matches with the  ...  Hence, to address these challenges, we propose semantically-enabled families of method-oriented architecture by applying serviceoriented product line engineering principles and employing Semantic Web technologies  ...  The family requirements model is created first by using the map-driven approach [14] and subsequently verified and validated. Figure 11 shows a part of the map model for the family method.  ... 
doi:10.4018/jismd.2012100101 fatcat:a25we2265ze7zne2idmswbnc5u

Integrating Formal Methods in XP—A Conceptual Solution

Shagufta Shafiq, Nasir Mehmood Minhas
2014 Journal of Software Engineering and Applications  
Formal methods can be used at any stage of product development process to improve the software quality and efficiency using mathematical models for analysis and verification.  ...  In the last couple of years, numerous analysis approaches and formal methods have been applied in different settings to improve software quality.  ...  Evaluation of Proposed Solution To get practical support for our proposed methodology we have conducted a control experiment.  ... 
doi:10.4236/jsea.2014.74029 fatcat:m2nzhwh7nbcbtgmy5cobgauhdy

Patient, family and nurse experiences with patient presence during hand-off reports within hospitals: A systematic review

Rose McCloskey, Karen Furlong, Linda Hansen
2012 The JBI Database of Systematic Reviews and Implementation Reports  
Health-care organizations and academia have begun programmes to apply the ideas and methods of human factors engineering to the procurement of medical devices and software.  ...  Methods for increasing the knowledge and confidence of individuals should be evaluated, as well as the most time-effective methods for the health-care system.  ... 
doi:10.11124/jbisrir-2012-300 pmid:27820394 fatcat:gqtihv76rzhmffvkh36tkqxbwe

Using risk to balance agile and plan- driven methods

B. Boehm, R. Turner
2003 Computer  
Plan-driven approaches such as Cleanroom, the Personal Software Process, or methods based on the Capability Maturity Model promise predictability, stability, and high assurance.  ...  Our method consists of five steps. Step 1 First, we apply risk analysis to specific risk areas associated with agile and plan-driven methods.  ...  A SAMPLE APPLICATION FAMILY When illustrating the practical application of our risk-based method, we first establish a realistic context by introducing a family of representative current and future software  ... 
doi:10.1109/mc.2003.1204376 fatcat:j5s2vvb4ujginbcuorlfgsga4a

Agile methods for open source safety-critical software

Kevin Gary, Andinet Enquobahrie, Luis Ibanez, Patrick Cheng, Ziv Yaniv, Kevin Cleary, Shylaja Kokoori, Benjamin Muffih, John Heidenreich
2011 Software, Practice & Experience  
The introduction of software technology in a life-dependent environment requires the development team to execute a process that ensures a high level of software reliability and correctness.  ...  Despite their popularity, agile methods are generally assumed to be inappropriate as a process family in these environments due to their lack of emphasis on documentation, traceability, and other formal  ...  This paper does not necessarily reflect the position or policy of the U.S. Government.  ... 
doi:10.1002/spe.1075 pmid:21799545 pmcid:PMC3142956 fatcat:2wvnv7pnmraszaqrxeejflurue

Methods and tools for component-based system design

J Sifakis
2011 2011 Design, Automation & Test in Europe  
With few exceptions, predictability is impossible to guarantee at design time and therefore, a posteriori verification remains the only means for ensuring their correct operation.  ...  There exist translations of several programming models into BIP including synchronous, data-flow and event driven models [9,10]. 2.  ...  There are no rigorous techniques for deriving global models of a given system from models of its application software and its execution platform [1] A system design flow consists of steps starting from  ... 
doi:10.1109/date.2011.5763166 dblp:conf/date/Sifakis11 fatcat:eeon342hcnao7pcn27cgzbbvom

New Opportunities for Integrated Formal Methods [article]

Mario Gleirscher, Simon Foster, Jim Woodcock
2019 arXiv   pre-print
Formal methods have provided approaches for investigating software engineering fundamentals and also have high potential to improve current practices in dependability assurance.  ...  Based on these opportunities and threats, we develop an agenda for fundamental and empirical research on integrated formal methods and for successful transfer of validated research to RAS assurance.  ...  Acknowledgements: We would like to thank Michael Butler, Ana Cavalcanti, John Fitzgerald, Cliff Jones, and Peter Gorm Larsen for very helpful feedback and discussions on the direction of this work.  ... 
arXiv:1812.10103v3 fatcat:rh3fcilrubfpje6k2sjdilg4ba

Managing Evolutionary Method Engineering by Method Rationale

Matti Rossi, Balasubramaniam Ramesh, Kalle Lyytinen, Juha-Pekka Tolvanen
2004 Journal of the AIS  
of method use experience.  ...  While the former provides an exact and computer-executable specification of a method, the latter enables concurrent learning, expansion, and refinement of method use (instances of metamodels) and meta-models  ...  One of the author's works was supported by grants from the Office of Naval Research and Air Force Research Laboratory.  ... 
doi:10.17705/1jais.00055 fatcat:wgcq4u47ujbjhiuqo4jvhus33i
« Previous Showing results 1 — 15 out of 35,795 results