Filters








91,268 Hits in 5.8 sec

Software refinement with Perfect Developer

G. Carter, R. Monahan, J.M. Morris
2005 Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)  
Perfect Developer is a software tool that supports the formal development of object-oriented programs by refinement, including formal verification of code.  ...  In particular we examine the extent to which Perfect Developer provides formal verification for these techniques. We assess it as a tool for software construction and compare it with related tools.  ...  Many thanks to David Crocker of Escher Technologies for his help and support with Perfect Developer. Enterprise Ireland provided funding under the Basic Research Grant SC/03/278.  ... 
doi:10.1109/sefm.2005.41 dblp:conf/sefm/CarterMM05 fatcat:zo7folxndncf3hp3hdywtnurwa

Program Derivation by Correctness Enhacements

Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili
2016 Electronic Proceedings in Theoretical Computer Science  
Among the many properties of relative correctness, that which we found most intriguing is the property that program P' refines program P if and only if P' is more-correct than P with respect to any specification  ...  P' is more-correct than P with respect to any specification.  ...  But today software development from scratch represents a small fraction of software engineering activity; most software engineering person-months nowadays are spent on software maintenance and software  ... 
doi:10.4204/eptcs.209.5 fatcat:4awxtwuo4bes7fjic56c5g6vye

A comparison of tools for teaching formal software verification

Ingo Feinerer, Gernot Salzer
2008 Formal Aspects of Computing  
Perfect developer The evaluation was initially performed with version 2.00 of Perfect Developer and later partially repeated with version 3.03.  ...  Perfect developer Perfect Developer (Pd) is a commercial tool for the development of safety-critical software developed by the British company Escher Technologies Limited.  ... 
doi:10.1007/s00165-008-0084-5 fatcat:ganizwaybjhcxeynuk33sga4rm

A Qualitative Method for Mining Open Source Software Repositories [chapter]

John Noll, Dominik Seichter, Sarah Beecham
2012 IFIP Advances in Information and Communication Technology  
The method was applied in a case study of developer and user forum discussions of an open source electronic medical record project.  ...  The volume of data archived in open source software project repositories makes automated, quantitative techniques attractive for extracting and analyzing information from these archives.  ...  This work was supported, in part, by Science Foundation Ireland grant 03/CE2/I303 1 to Lero -the Irish Software Engineering Research Centre (www.lero.ie).  ... 
doi:10.1007/978-3-642-33442-9_18 fatcat:lfhusptt4zf25o3s2fnqenwmmy

RADAR: A Lightweight Tool for Requirements and Architecture Decision Analysis

Saheed A. Busari, Emmanuel Letier
2017 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE)  
The language has relations to quantitative AND/OR goal models used in requirements engineering and to feature models used in software product lines.  ...  Quantitative probabilistic models allow software architects to analyse such decisions using stochastic simulation and multiobjective optimisation, but the difficulty of elaborating the models is an obstacle  ...  Saheed Busari's research is supported by the The Petroleum Technology Development Fund (PTDF) in Nigeria.  ... 
doi:10.1109/icse.2017.57 dblp:conf/icse/BusariL17 fatcat:id3w6m6v7zhvbk7sahwdh2uqty

Using Software Model Checking for Software Component Certification

Ali Taleghani
2007 29th International Conference on Software Engineering (ICSE'07 Companion)  
While software certification can benefit component buyers and developers, we believe that the lack of techniques and standards has hampered the spread of its use.  ...  This research seeks to accomplish two goals: to develop state-space search strategies that enable us to use software model checkers to certify programs and to decrease the amount of intellectual property  ...  In particular, we want to investigate two questions with respect to software model checking: 1.  ... 
doi:10.1109/icsecompanion.2007.82 dblp:conf/icse/Taleghani07 fatcat:6pxcntu4wza23f76i4ic45tbne

Open Reconcile: A Practical Open-sourced Ontology-driven Webservice

Rebecca Lawler, Hui Yang, Kathryn Woods, Josh Kaminker
2012 2012 IEEE 16th International Enterprise Distributed Object Computing Conference Workshops  
Open Reconcile is compatible with the Google Refine Reconciliation API, where Google Refine is a tool for data analysis.  ...  It adopts multiple strategies to find the optimal match to reconcile input terms with those in a controlled vocabulary.  ...  Fortunately, Google Refine provides flexible APIs that allow developers to address the above limitations.  ... 
doi:10.1109/edocw.2012.25 dblp:conf/edoc/LawlerYWK12 fatcat:ghu3nspsubgmrg7dve4hlnf2sy

The Phenomenon of Research and Development Method in Research of Software Engineering

Mufadhol Mufadhol, Siswanto Siswanto, Djarot Dian Susatyono, Maya Utami Dewi
2017 International Journal of Artificial Intelligence Research  
But it is found there are several research that use this method with not perfect or not completed, so research results produced less fit with purpose.  ...  Communication between software developers and prospective users of software engineering by prototype system is very important in the development of software engineering.  ...  But it is found there are several research that use this method with not perfect or not completed, so research results produced less fit with purpose.  ... 
doi:10.29099/ijair.v1i1.4 fatcat:xwspxj4hgfgy7k4aapigogm6ru

The Phenomenon Of Research And Development Method In Research Of Software Engineering

Mufadhol
2017 Zenodo  
But it is found there are several research that use this method with not perfect or not completed, so research results produced less fit with purpose.  ...  Communication between software developers and prospective users of software engineering by prototype system is very important in the development of software engineering.  ...  But it is found there are several research that use this method with not perfect or not completed, so research results produced less fit with purpose.  ... 
doi:10.5281/zenodo.840608 fatcat:gxv2pb5srnen7id3ee7chprcd4

An evolutionary economics approach to ecosystem dynamics

Vincent Blijleven, Joey van Angeren, Slinger Jansen, Sjaak Brinkkemper
2013 2013 7th IEEE International Conference on Digital Ecosystems and Technologies (DEST)  
(Moore, 1993)  Software ecosystems  "A set of businesses functioning as a unit and interacting with a shared market for software and services, together with the relationships among them."  ...  delivery models (SaaS / cloud), introduction of Apple's iPhone in 2007  Incremental innovation: refinement and extension of an established dominant design in a software product, technology or service  ... 
doi:10.1109/dest.2013.6611323 dblp:conf/dest/BlijlevenAJB13 fatcat:yhir5xag3vhm7lpidudmqdxsie

Verified Software Grand Challenge [chapter]

Jim Woodcock
2006 Lecture Notes in Computer Science  
This paper overviews the Verification Grand Challenge, a large scale multinational intiative designed to significantly increase the interoperability, applicability and uptake of formal development techniques  ...  One technical snag that that Escher's David Crocker hit quite quickly, was that the original Mondex proof uses 'backward simulation refinement' whereas Perfect Developer is designed for 'forward simulation  ...  by an unpredictable software construction process, will be replaced by a software construction process with predictable properties, comparable with most mature engineering disciplines.  ... 
doi:10.1007/11813040_45 fatcat:br4zo6syzraclmcbqsmw6uyhfu

Page 200 of Technical Book Review Index Vol. 46, Issue 5 [page]

1980 Technical Book Review Index  
in software development. 1979, Cloth, 580 pp. $28.50.  ...  Refinement and stress techniques, tips for ef- fective project management, realistic objectives in reliable software production, and DOD software pro- curement methods help avoid pitfalls and problems  ... 

Agile specifications

Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson
2009 Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications - OOPSLA '09  
This paper explores how such an interpreter might be used, showing by example how it might support a variety of development activities.  ...  This research was funded in part by the National Science Foundation under grant 0541183 (Deep and Scalable Analysis of Software).  ...  Add a new test case with some larger numbers: √ 100 = 10. This also passes; it's a perfect square. 10 . Add a new test case with a larger number that isn't a perfect square: √ 120 = 10.  ... 
doi:10.1145/1639950.1640070 dblp:conf/oopsla/RaysideMYDJ09 fatcat:3ecf7tdj6fgwzhvqy4rsp7ci34

System Modeling and Transformational Design Refinement in ForSyDe

I. Sander, A. Jantsch
2004 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
Starting with a formal specification model, that captures the functionality of the system at a high abstraction level, it provides formal design-transformation methods for a transparent refinement process  ...  We develop the characteristic function for each process type and use it to define semantic preserving and design decision transformations.  ...  As each process constructor has a hardware and software interpretation, the refined implementation model can be interpreted into a structure with hardware and software components.  ... 
doi:10.1109/tcad.2003.819898 fatcat:yzmyipmr4vhe3bbvjm5c3vrg4e

OPCATeam – Collaborative Business Process Modeling with OPM [chapter]

Dov Dori, Dizza Beimel, Eran Toch
2004 Lecture Notes in Computer Science  
This characteristic, combined with refinement and abstraction mechanisms, makes OPM ideal for business process modeling. OPCATeam features multi-user Client-Server architecture.  ...  While collaboration has become a basic requirement for many development environments, solutions for collaborative modeling are far from being satisfact1ory.  ...  Prominent systems for collaborative software coding include CVS [11] , a largescale open-source project, which provides a team of developers with a user-friendly, simple collaboration environment.  ... 
doi:10.1007/978-3-540-25970-1_5 fatcat:miu4vtro4reonm4p75c6x5fc6y
« Previous Showing results 1 — 15 out of 91,268 results