Certified Software Development Professional (CSDP) advertisement

2008 ◽  
Vol 12 (5) ◽  
pp. c2-c2 ◽  
Keyword(s):  
Software Development ◽  
Certified Software

scholarly journals Set-Based Models for Cryptocurrency Software

2021 ◽  
Vol 24 (3) ◽  
Author(s):  
Gustavo Betarte ◽  
Maximiliano Cristiá ◽  
Carlos Luna ◽  
Adrián Silveira ◽  
Dante Zanarini
Keyword(s):  
Software Development ◽  
Nuclear Power ◽  
Power Reactor ◽  
Software Industry ◽  
The Other ◽  
Nuclear Power Reactor ◽  
High Quality ◽  
Relevant Case ◽  
Development Methods ◽  
Certified Software

Formal methods (FM) are mathematics-based software development methods aimed at producing ``code for a nuclear power reactor''. That is, due application of FM can produce bug-free, zero-defect, correct-by-construction, guaranteed, certified software. However, the software industry seldom use FM. One of the main reasons for such a situation is that there exists the perception (which might well be a fact) that FM increase software costs. On the other hand, FM can be partially applied thus producing high-quality software, although not necessarily bug-free. In this paper we outline some FM related techniques whose application the cryptocurrency community should take into consideration because they could bridge the gap between ``loose web code'' and ``code for a nuclear power reactor''. We include relevant case studies in the area of cryptocurrency.

Using work-centered specifications to integrate cognitive requirements into software development

2006 ◽  
Author(s):  
Jeffrey Wampler ◽  
Emilie Roth ◽  
Randall Whitaker ◽  
Kendall Conrad ◽  
Mona Stilson ◽  
...  
Keyword(s):  
Software Development
Sign in / Sign up

Export Citation Format

Share Document