55,025 Hits in 6.9 sec

Formal Methods in the Development of Safety-Critical Knowledge-Based Components

Giovanna Dondossola
1998 Failure and Lessons Learned in Information Technology Management  
A main objective of the project is the definition of a engineering methodology for certifiable knowledge-based software components to be embedded into safety critical systems.  ...  Since about a decade the use of formal methods in the development of traditional software for safety critical systems has been greatly encouraged.  ...  Formal specifications shall support the elaboration of the software test plan for the KBC testing by helping in the selection of the test set.  ... 
doi:10.3727/108812898791918262 fatcat:5iz2pgeu4vb5pmwkqpvlgynlhe

Rapid prototyping: lessons learned

V.S. Gordon, J.M. Bieman
1995 IEEE Software  
We analyze 39 published and unpublished real world" case studies of the use of rapid prototyping for developing software products.  ...  We nd that, with careful planning and management, software developers can e ectively use rapid prototyping.  ...  This was observed for three di erent reasons: 1 special-purpose prototyping languages make it easy to add new features, 2 internal software development sometimes requires less time to determine baseline  ... 
doi:10.1109/52.363162 fatcat:gcnmc34hkfhjfb3seruczia5ei

Twenty Plus Years of Distance Learning: Lessons Learned

Elizabeth Weiner, Ryan McNew, Jeffry Gordon, Patricia Trangenstein, Keith Wood
2019 Studies in Health Technology and Informatics  
Private institutions of higher education in the United States were hesitant to institute programs of distance learning for fear that they could not maintain the quality of the education they had delivered  ...  Conclusions: Lessons Learned The lessons learned from over twenty years of experience can be summarized by the following important considerations.  ...  This poster will explore the lessons learned during this 23-year journey.  ... 
doi:10.3233/shti190658 pmid:31438354 fatcat:gho26g5yk5cvjlt5owgbstdacq

Intelligent lessons learned systems

R Weber, D.W Aha, I Becerra-Fernandez
2001 Expert systems with applications  
However, recent studies have shown that software systems for supporting lesson dissemination do not effectively promote knowledge sharing.  ...  In this article, we survey lessons learned processes and systems, detail their capabilities and limitations, examine lessons learned system design issues, and identify how artificial intelligence technologies  ...  Thanks also to André Testa for his assistance with creating Figure 1 .  ... 
doi:10.1016/s0957-4174(00)00046-4 fatcat:hi7tepliwzae5j2fqg45rwjjvi

Lessons Learned for Effective FMEAs [chapter]

2012 Effective FMEAs  
He has 20 years experience in reliability engineering and management positions at General Motors, most recently Senior Manager for the Advanced Reliability Group.  ...  The four broad success factors (understanding the basics of FMEAs and Risk Assessment, applying key factors for effective FMEAs, providing excellent FMEA facilitation and implementing a "best practice"  ...  LESSONS LEARNED: The FMEA considers all major "lessons learned" (such as high warranty, campaigns, etc.) as input for failure mode identification.  ... 
doi:10.1002/9781118312575.ch9 fatcat:otvbgyjoezfvfdwfkrmnbji4hm

ERP requirements engineering practice: lessons learned

M. Daneva
2004 IEEE Software  
Lessons learned Our lessons learned from this experience are easily divided into groups of issues and their solutions: the first three lessons address organizational issues, followed by three lessons related  ...  We also learned which practices were most neglected, which were typically skipped and why, and how skipping RE activities affected the final focus ERP Requirements Engineering Practice: Lessons Learned  ... 
doi:10.1109/ms.2004.1270758 fatcat:oi2ognsl7zec7d4a354au2hhfq

Evaluating predictive quality models derived from software measures: Lessons learned

Filippo Lanubile, Giuseppe Visaggio
1997 Journal of Systems and Software  
1 This paper describes an empirical comparison of several modeling techniques for predicting the quality of software components early in the software life cycle.  ...  Using software product measures, we built models that classify components as high-risk, i.e., likely to contain faults, or low-risk, i.e., likely to be free of faults.  ...  Acknowledgments We would like to thank the students from the University of Bari for providing the fault data used in this study, Aurora Lonigro and Giulia Festino for their support in processing and analyzing  ... 
doi:10.1016/s0164-1212(96)00153-7 fatcat:pzllwytbkvf4hipgn6hdvcyjua

Evaluation of software visualization tools: Lessons learned

Mariam Sensalire, Patrick Ogao, Alexandru Telea
2009 2009 5th IEEE International Workshop on Visualizing Software for Understanding and Analysis  
The lessons covered include the selection of the tools, tasks, as well as evaluation participants.  ...  Finally, an analysis of the lessons learned is shown with the hope that these lessons will be of some assistance to future SoftVis tool evaluators.  ...  Comparison of lessons learned with software comprehension studies Software visualization is a supplementary method in the field of software comprehension.  ... 
doi:10.1109/vissof.2009.5336431 dblp:conf/vissoft/SensalireOT09 fatcat:z3qrqx253rfsvlg7iijyyobkxi

MySQL: lessons learned on a digital library

M. Di Giacomo
2005 IEEE Software  
Our lessons learned should certainly help advocates promote MySQL and open source for building a sound technology infrastructure.  ...  Determining the best relational DBMS isn't an easy task, and it depends on the criteria the application must satisfy.  ... 
doi:10.1109/ms.2005.71 fatcat:h2s76tl3njf7xj6mng3pu2jzym

Lessons Learned Too Well

A. Michael Froomkin
2011 Social Science Research Network  
This Article, in addition to providing suggestions on how to save electronic anonymity, calls for proponents of antianonymity policies to provide stronger justifications for such policies and to consider  ...  Offering normative and pragmatic arguments for why communicative anonymity is important, this Article argues that anonymity is the bedrock of online freedom, and it must be preserved.  ...  PREPARING FOR THE NEXT WAVE: TIME TO RE-LEARN OLD LESSONS As Part II demonstrated, the abolition of online anonymity is now a real possibility, both technically and legally.  ... 
doi:10.2139/ssrn.1930017 fatcat:jtlf7mbinfe55pvdwlig7b2k7a

Lessons Learned from Model Checking a NASA Robot Controller

Natasha Sharygina, James Browne, Fei Xie, Robert Kurshan, Vladimir Levin
2004 Formal methods in system design  
Thirty seven properties including both safety and liveness specifications were formulated for the system. Twenty two of the thirty seven properties were successfully model checked.  ...  Several significant flaws in the original software system were identified and corrected during the model checking process. The case study presents the entire process in a semi-historical mode.  ...  Lessons learned The lessons learned are implicit in the process through which we went to model check the robot controller system.  ... 
doi:10.1023/b:form.0000040029.73127.85 fatcat:tldbgaqcrjfkdopkmirpl2zcwi

Global software development in practice lessons learned

Rafael Prikladnicki, Jorge Luis Nicolas Audy, Roberto Evaristo
2003 Software Process: Improvement and Practice  
On the basis of these factors, we present the lessons learned from case studies in two software development units from multinational organizations located in Brazil.  ...  The number of organizations distributing their software development processes worldwide keeps increasing.  ...  The study was funded in terms of the Brazilian Federal Law for Information Technology (Law No. 8.248/91).  ... 
doi:10.1002/spip.188 fatcat:xlrk3khkuvatbg4fllvft62w5i

Graph Analytics-Lessons Learned and Challenges Ahead

Pak Chung Wong, Chaomei Chen, C. Gorg, B. Shneiderman, J. Stasko, J. Thomas
2011 IEEE Computer Graphics and Applications  
However, many of the lessons learned and the ongoing challenges we describe are also applicable to the broader perspective of visual analytics.  ...  grand challenges for future research.  ...  We've taken the lessons learned from NVSS and embedded some of them in the more ambitious open source software tool called NodeXL (www.  ... 
doi:10.1109/mcg.2011.72 pmid:24808188 fatcat:d5juwfjrwjchroo57r5n5efd6a

Research Data Curation Pilots: Lessons Learned

David Minor, Matt Critchlow, Arwen Hutt, Declan Fleming, Mary Linn Bergstrom, Don Sutton
2014 International Journal of Digital Curation  
In this paper, we present specific implementation details of these various services, as well as lessons learned.  ...  Based on the lessons learned in our processes, the Research Data Curation Program will provide a suite of services from which campus users can pick and choose, as necessary.  ...  As this was a new cloud system some lessons were learned.  ... 
doi:10.2218/ijdc.v9i1.313 fatcat:2emph5h6fzcbpoe5t7ravekxje

Lessons Learned from Building a High-Assurance Crypto Gateway

Clark Weissman, Timothy Levin
2011 IEEE Security and Privacy  
Most modern large-scale systems employ a complex organization of distributed components, described Report Documentation Page Form Approved OMB No. 0704-0188 Public reporting burden for the collection of  ...  Send comments regarding this burden estimate or any other aspect of this collection of information, including suggestions for reducing this burden, to Washington Headquarters Services, Directorate for  ...  We completed all of the secure and trusted engineering and were on the verge of Common Criteria certification success. Lesson 9. The biggest lesson to be learned from this project was hard.  ... 
doi:10.1109/msp.2010.201 fatcat:k5zvshjmbndstgqtjt43ohdxzy
« Previous Showing results 1 — 15 out of 55,025 results