22,962 Hits in 7.7 sec

A New Approach to Reliable, yet Flexible Software

Abbas Rasoolzadegan
2011 International Conference on Advanced Information Systems Engineering  
Investigation of advantages and limitations of semi-formal and formal methods, theoretically (by surveying the literature) and empirically (by defining a suitable case study), shows that combination of  ...  Formal methods take a precise approach to software development, delivering reliable software; however, in addition to high cost involvements, they require a level of expertise that is not common in commercial  ...  Investigation of the advantages and limitations of semi-formal and formal methods, theoretically (by surveying the literature) and empirically (by defining a suitable case study) shows that combination  ... 
dblp:conf/caise/Rasoolzadegan11 fatcat:wia6anjqjjcq7l352bh3snmq5y

Towards predictive models of technology impact on software design productivity

Michael R. Lowry
2010 Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10  
In order to advance software engineering research, agencies should fund pilot studies for calibrating software design productivity impacts of potential technology advances.  ...  Current software cost estimation models can provide a starting point, but in the long run are inadequate because they are based on current methods and technologies for software development.  ...  The second are experimental studies that provide empirical evidence for the validity of these laws, and calibrations of parameters.  ... 
doi:10.1145/1882362.1882409 dblp:conf/sigsoft/Lowry10 fatcat:l5gmaif6tffj3cptbryd2qrlii

Verification and Validation in Cyber Physical Systems: Research Challenges and a Way Forward

Xi Zheng, Christine Julien
2015 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems  
In this paper, we review our recent empirical study of real-world CPS developers.  ...  It is widely held that debugging cyber-physical systems (CPS) is challenging; to date, empirical studies investigating research challenges in CPS verification and validation have not been done.  ...  We first review our empirical study and follow with a research road-map towards supporting feasible and usable CPS runtime verification to address a subset of the research challenges identified in the  ... 
doi:10.1109/sescps.2015.11 dblp:conf/icse/ZhengJ15 fatcat:67yz2glwnzfqhprnbq55wsydke

Software Verification — A Scalable, Model-Driven, Empirically Grounded Approach [chapter]

Lionel C. Briand
2009 Simula Research Laboratory  
Empirical studies are particularly complex, however, because the cost-effectiveness of a verification technique depends on many other factors.  ...  Because the preceding factors can have a dramatic impact on a test technique's cost-effectiveness, empirical studies should try to control for such factors in order to ensure that any cost-effectiveness  ... 
doi:10.1007/978-3-642-01156-6_28 fatcat:lkad7ajiwnaeljqeslwk6jr2x4

Quality metrics Validation in View Maintenance Models of Data Warehouse

Anjana Gosain, Sangeeta Sabharwal, Rolly Gupta
2019 International Journal of Computer Applications  
In our previous work, a quality metric for View maintenance models of data warehouse is proposed [25] However, the proposal overall lacks theoretical and empirical validation of the metric proposed.  ...  Due to its significance in strategic decision making, there is a need to assure data warehouse quality in the presence of evolution events which may be generated as result of change in schema / software  ...  Hence, this study shows that these metrics are significantly contributing towards the cost efficiency of the VM models.  ... 
doi:10.5120/ijca2019918844 fatcat:w7pgal3hardkrmnui5ct4qbrxy

Estimation of Characteristics of a Software Team for Implementing Effective Inspection Process through Inspection Performance Metric [article]

T.R.Gopalakrishnan Nair, Suma. V
2011 arXiv   pre-print
A sample of three verification projects indicates a close match between the IPM values obtained from the defect count (IPMdc) and IPM values obtained using the team coefficients using the mathematical  ...  Having finalized the value of IPM that a company should achieve for a project, it can tune the inspection influencing parameters to realize the desired quality level of IPM.  ...  ACKNOWLEDGMENTS The authors would like to acknowledge all the people from various software houses for their valuable discussions and immense help rendered in carrying out this work.  ... 
arXiv:1107.3201v1 fatcat:keq33mxdyjhydmlceaenik6keq

Formal Software Analysis Emerging Trends in Software Model Checking

Matthew B. Dwyer, John Hatcliff, Robby Robby, Corina S. Pasareanu, Willem Visser
2007 Future of Software Engineering (FOSE '07)  
Future of Software Engineering(FOSE'07) 0-7695-2829-5/07 $20.00 Abstract The study of methodologies and techniques to produce correct software has been active for four decades.  ...  The past fifteen years have seen a marked and accelerating shift towards algorithmic formal reasoning about program behavior -we refer to these as formal software analysis.  ...  Experts in formal analysis need to collaborate with experts in empirical studies to define meaningful models for performing such studies.  ... 
doi:10.1109/fose.2007.6 dblp:conf/icse/DwyerHRPV07 fatcat:ucvmmm75kjbyxluplh5z3y3x4q

Seamless Method- and Model-based Software and Systems Engineering [chapter]

Manfred Broy
2010 The Future of Software Engineering  
of established and proven techniques and methods with clear profiles and rules that indicate when which method is ready for application.  ...  Applied methods, if any, are not scientifically justified, not justified by empirical data and as a result carrying out large software projects still is an adventure.  ...  Of course, we have clear indications that firm systematic development approaches improve the quality of software but, of course, we always have to ask about the costs of the development taking to account  ... 
doi:10.1007/978-3-642-15187-3_2 dblp:conf/birthday/Broy10a fatcat:wbw6yojkqvfdvd2ns7m65a2exu

Challenges and practices in aligning requirements with verification and validation: a case study of six companies

Elizabeth Bjarnason, Per Runeson, Markus Borg, Michael Unterkalmsteiner, Emelie Engström, Björn Regnell, Giedre Sabaliauskaite, Annabella Loconsole, Tony Gorschek, Robert Feldt
2013 Empirical Software Engineering  
For example, weak communication of requirements changes to testers may result in lack of verification of new requirements and incorrect verification of old invalid requirements, leading to software quality  ...  Furthermore, the study provides a foundation for continued research to improve the alignment of RE with VV.  ...  Acknowledgment We want to thank Börje Haugset for acting as interviewer in three of the interviews.  ... 
doi:10.1007/s10664-013-9263-y fatcat:ax7sbvlko5ggdeklnrs2azgaci

Formal methods

Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John Fitzgerald
2009 ACM Computing Surveys  
Formal methods use mathematical models for analysis and verification at any part of the program life-cycle.  ...  Finally, we look to the future and describe the development of a Verified Software Repository, part of the worldwide Verified Software Initiative.  ...  Our work has benefited from a previous study carried out for BAE Systems, and we gratefully acknowledge our collaboration with Ana Cavalcanti, Colin O'Halloran, and Nick Tudor, and discussions with Jim  ... 
doi:10.1145/1592434.1592436 fatcat:i5gxogcidbemjpf3jopgobzrxe

Evaluation of an Abstract Component Model for Embedded Systems Development

Christian Bunse, Yunja Choi, Hans Gerhard Gross
2012 Journal of Information Processing Systems  
Results indicate that model-driven and component-based development following the MARMOT method outperforms Agile development for embedded systems, leads to maintainable systems, and higher than normal  ...  The paper describes a feasibility study that demonstrates MARMOT's capability to alleviate system design, verification, implementation, and reuse.  ...  Good references for empirical software engineering are [21, 36] , and our studies were conducted according to common empirical principles, [4, 36] .  ... 
doi:10.3745/jips.2012.8.4.539 fatcat:2txmyphn6nhzpozxrirjseseja

New Opportunities for Integrated Formal Methods [article]

Mario Gleirscher, Simon Foster, Jim Woodcock
2019 arXiv   pre-print
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.  ...  Formal methods have provided approaches for investigating software engineering fundamentals and also have high potential to improve current practices in dependability 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

A methodology to support software release decisions

Hans Sassenburg
2006 Proceedings of the 2006 international workshop on Software quality - WoSQ '06  
costs for reversing a decision.  ...  All perspectives are reviewed, explored indepth, both from a theoretical and from an empirical point of view, by studying practical examples.  ...  The case studies selected are software manufacturer types developing software products for internal use. A review of the methodology indicates no practices specific to a software manufacturer type.  ... 
doi:10.1145/1137702.1137715 dblp:conf/icse/Sassenburg06 fatcat:3xf7abwhffdvtm7kbeny5yzdam

On the Distribution of Property Violations in Formal Models: An Initial Study

Jimin Gao, Mats Heimdahl, David Owen, Tim Menzies
2006 30th Annual International Computer Software and Applications Conference (COMPSAC'06)  
In this report we investigate the performance of a simple random search technique. We conducted an experiment on a production-sized formal model of the mode-logic of a flight guidance system.  ...  As a complement, fast, but incomplete, search tools may provide practical benefits not attainable with full verification tools, for example, reduced need for manual abstraction and fast detection of property  ...  Conclusion In summary, through empirical studies on the flight guidance system we have found that random search is an effective incomplete method for property refutation of formal models; a technique that  ... 
doi:10.1109/compsac.2006.64 dblp:conf/compsac/GaoHOM06 fatcat:ylotre3ktzdnnea4bki5vouice

An Effective Verification Strategy for Testing Distributed Automotive Embedded Software Functions: A Case Study [chapter]

Annapurna Chunduri, Robert Feldt, Mikael Adenmark
2016 Lecture Notes in Computer Science  
Hence, there is a pressing need within the automotive industry for a feasible and effective verification strategy for testing distributed software functions. Objectives.  ...  Towards the end, a verification strategy has been proposed and validated using existing historical data at Scania. Conclusions.  ...  There has also been empirical research study in the area of software testing within the context of various industries dealing with embedded systems software.  ... 
doi:10.1007/978-3-319-49094-6_15 fatcat:euacc4ynrbb4bi2ywuy62nydaa
« Previous Showing results 1 — 15 out of 22,962 results