16,467 Hits in 7.2 sec

Dependencies among Architectural Views Got from Software Requirements Based on a Formal Model

Janis Osis, Erika Asnina, Uldis Donins, Vicente García-Díaz
2014 Applied Computer Systems  
It is based on a formal mathematical model, Topological Functioning Model (TFM). Compliant TFMs can be transformed into software architectural views.  ...  The paper demonstrates and discusses tracing dependency links from the requirements to and between the architectural views.  ...  The aim is to demonstrate and to trace dependency links from software functional requirements (we do not consider non-functional requirements) to and between structural and behavioral software views.  ... 
doi:10.1515/acss-2014-0007 fatcat:3y6ifex7ircwtf6mfes7bofpwy

Designing high quality system/software architectures

Lawrence Chung, José Luis Garrido, Nary Subramanian, Manuel Noguera, Kawtar Benghazi
2010 Science of Computer Programming  
We hope the readers enjoy the papers in this special issue on the important topic of quality system and software architectures. • service-oriented architectures (SOA) • COTS/GOTS/Component/Middleware-Based  ...  Introduction Just about everything has an architecture -be it a software system, an organization, or even a human body -consisting of parts and interactions among the parts.  ... 
doi:10.1016/j.scico.2010.01.006 fatcat:pgr7w6av5nepbirxsbejsu67da

Ordering interrogative questions for effective requirements engineering: The W6H pattern

Mujahid Sultan, Andriy Miranskyy
2015 2015 IEEE Fifth International Workshop on Requirements Patterns (RePa)  
Method: we achieve our goals by bringing tools from the Linguistics, focusing on a full set of English Language interrogatives to describe viewpoint concerns and the inter-relationships and dependencies  ...  One of the popular enterprise architecture frameworks is Zachman framework (ZF). This framework focuses on describing the enterprise from six viewpoint perspectives of the stakeholders.  ...  Fig. 1 . 1 Right: Order and inter-dependencies of English Language Interrogatives based on 3.1. 3 3 System Model (Designer's View): Consider the fourth row of the Fig. 2 . 2 (a) Dependency of 'how'  ... 
doi:10.1109/repa.2015.7407731 dblp:conf/re/SultanM15 fatcat:kxcdflxu3bbmrb3memmrttvete

Aspect Oriented Software Architecture

Pradip Peter Dey, Ronald F. Gonzales, Gordon W. Romney, Mohammad Amin, Bhaskar Raj Sinha
2012 Zenodo  
The software architecture is presented with an augmented Unified Modeling Language.  ...  Natural language processing systems pose a unique challenge for software architectural design as system complexity has increased continually and systems cannot be easily constructed from loosely coupled  ...  ACKNOWLEDGMENT The authors gratefully acknowledge the help and/or encouragements received from John Cicero, Hassan Badkoobehi, Byunggu Yu, Arun Datta, Jodi Reeves and many others during the preparation  ... 
doi:10.5281/zenodo.1085076 fatcat:lshzuglzxndwnbbl3kq7pwwfja

Software Engineering in Industrial Automation: State-of-the-Art Review

Valeriy Vyatkin
2013 IEEE Transactions on Industrial Informatics  
The survey's methodology is based on the classic SWEBOK reference document that comprehensively defines the taxonomy of software engineering domain.  ...  This paper presents one perspective on recent developments related to software engineering in the industrial automation sector that spans from manufacturing factory automation to process control systems  ...  Design based on formal models Formal models of software systems create a firm foundation of software engineering, and this is especially true for industrial automation.  ... 
doi:10.1109/tii.2013.2258165 fatcat:sx4qitarozdehokrdm2cwrp5oe

How Do Software Architects Specify and Validate Quality Requirements? [chapter]

Andrea Caracciolo, Mircea Filip Lungu, Oscar Nierstrasz
2014 Lecture Notes in Computer Science  
Software architecture is the result of a design effort aimed at ensuring a certain set of quality attributes.  ...  Finally we discuss opportunities for increasing the adoption of automated tools based on the information we collected during our study (e.g., using a business-readable notation for expressing quality requirements  ...  We gratefully acknowledge the financial support of the Swiss National Science Foundation for the project "Agile Software Assessment" (SNSF project No. 200020-144126/1, Jan 1, 2013 -Dec. 30, 2015).  ... 
doi:10.1007/978-3-319-09970-5_32 fatcat:gn2eivcnwff3lcdmsvp4jzy76a

Investigating and improving a COTS-based software development

M. Morisio, C. B. Seaman, A. T. Parra, V. R. Basili, S. E. Kraft, S. E. Condon
2000 Proceedings of the 22nd international conference on Software engineering - ICSE '00  
The work described in this paper is an investigation of COTS-based software development within a particular NASA environment, with an emphasis on the processes used.  ...  Starting from these empirical observations, a new process and guidelines for COTS-based development are developed and briefly presented. The new process is currently under experimentation.  ...  The high level architecture allows the team to sketch dependencies among COTS, incompatibilities and integration effort [14, 15] .  ... 
doi:10.1145/337180.337186 dblp:conf/icse/MorisioSPBKC00 fatcat:v3m2xtks6nec5asu2frwd5smn4

Development of software engineering

Fuqing Yang, Hong Mei
2006 Proceeding of the 28th international conference on Software engineering - ICSE '06  
Some results are presented based on China's experience of developing software engineering under this model.  ...  Based on the above reviews, we argue that software engineering should become an independent discipline along with computer science and cooperative efforts from academia, governments and industries should  ...  Key Projects in the State 6th to 10th Five-Year Plan, the State 863 High-Tech Program, the National Basic Research Program (973), the National Natural Science Foundation of China, the research program from  ... 
doi:10.1145/1134285.1134287 dblp:conf/icse/YangM06 fatcat:fusrjx34gndrdfshrqnlbdg7ni

Defeasible Argumentation of Software Architectures

Jose Miguel Canete Valdeon, Antonio Ruiz Cortes, Miguel Toro
2016 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA)  
We also study the typical case of reasoning with a formal model of an architecture, and we infer a fifth argumentation scheme.  ...  We show that the existence of critical questions reveals that the inferred schemes are defeasible: in argumentation theory, if a respondent asks one of the critical questions matching a scheme and the  ...  A reasoning framework is a structure which among other components includes an analytic theory, a model of the architecture (based on the analytic theory), and an evaluation (proof) procedure.  ... 
doi:10.1109/wicsa.2016.48 dblp:conf/wicsa/ValdeonCT16 fatcat:c75fdceq4basfih65vuwhifjza

AMADEOS Framework and Supporting Tools [chapter]

Arun Babu, Sorin Iacob, Paolo Lollini, Marco Mori
2016 Lecture Notes in Computer Science  
Requirements may be divided based on the viewpoints and building-blocks: Architecture, Communication, Dependability, etc.  ...  Finally, for SoS modeling, a "supporting facility tool" based on Blockly is demonstrated.  ...  licenses/by/4.0/), which permits use, duplication, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a  ... 
doi:10.1007/978-3-319-47590-5_5 fatcat:tmvqhdvh3zhsjhibbyz5na37jq

On the Use of i* for Architecting Hybrid Systems: A Method and an Evaluation Report [chapter]

Juan Pablo Carvallo, Xavier Franch
2009 Lecture Notes in Business Information Processing  
We have defined a method called DHARMA based on the i* framework. The goal of this paper is to present an experience report about the use of i* in large-scale projects.  ...  The architectural definition of hybrid software systems is a challenging problem that demands to reconcile stakeholders' strategic needs and components marketplace, whilst defining an appropriate set of  ...  This paper proposes the DHARMA method to identify the architecture of a component-based system.  ... 
doi:10.1007/978-3-642-05352-8_5 fatcat:l5c4upzd6vbjrnk3mipmeageea

Architecture consistency: State of the practice, challenges and requirements

Nour Ali, Sean Baker, Ross O'Crowley, Sebastian Herold, Jim Buckley
2017 Empirical Software Engineering  
inconsistency to customers, 3) Practitioners' reluctance towards fixing architectural inconsistencies, and 4) Practitioners perception that huge effort is required to map the system to the architecture  ...  capabilities with respect to artefacts such as services and meta-data, and to focus more on non-maintainability architectural concerns.  ...  This study was also supported in part by Science Foundation Ireland grant 12/IP/1351 and 10/CE/I1855 to Lero -the Irish Software Engineering Research Centre (  ... 
doi:10.1007/s10664-017-9515-3 fatcat:7t4xxleajbgbzlzfqirvx6ul6m

An exploratory study of architectural practices and challenges in using agile software development approaches

Muhammad Ali Babar
2009 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture  
There is to date little empirical evidence available on what software architecture related practices are followed by teams using agile approaches and the kinds of architectural challenges resulting from  ...  However, there is also a significant concern about the role and importance of the issues related to the software architecture of a system being developed using agile approaches.  ...  I also greatly appreciate the generosity of my colleagues Minna Pikkarainen and Kieran Conboy for helping collect the data, sharing the information they had gathered for their research on agile practices  ... 
doi:10.1109/wicsa.2009.5290794 dblp:conf/wicsa/Babar09 fatcat:jjlk4bejizap3ob7bcgmip7t3m

Concurrent development of software systems

M. Aoyama
1987 Software engineering notes  
From the view point of development management, Boehm proposed a new paradigm called spiral model or risk-driven formalization [7] .  ...  Concurrent Development and Concurrent Processes Note that we got a great computation power by the change of architecture from sequential instruction fetch to pipeline control, or from single processor  ... 
doi:10.1145/29934.29937 fatcat:mg3wkzt4ire33omyksziklqlbq

Software Architecture Methodology in Agile Environments

Mehdi Mekni, Mounika G, Sandeep C, Gayathri B
2017 Journal of Information Technology & Software Engineering  
In this paper, we provide an overview on agile development methodology along with the software architecture related issues in agile environments.  ...  Currently, a clear specification in software architecture activities and processes in agile environments does not exist.  ...  A formal software architecture evaluation should be a standard part of our software architecture methodology in agile environments.  ... 
doi:10.4172/2165-7866.1000195 fatcat:rjfg6iibifag3mdoql7mxxdcqm
« Previous Showing results 1 — 15 out of 16,467 results