Filters








94,157 Hits in 4.4 sec

Some Issues in the Software Engineering of Verification Tools [chapter]

Perdita Stevens
<span title="">1999</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
This note raises some of them for wider discussion. Perdita.Stevens@dcs.ed.ac.uk, supported by EPSRC GR/K68547.  ...  Over its lifetime, we have learnt many lessons and encountered many questions about verification tool development, both from bitter experience and from discussion with other tool developers and users.  ...  In mainstream software engineering, the usual estimate of how much of a software development project's budget is spent on testing is 30 -50%; verification tools can be expected to be towards the upper  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-49059-0_30">doi:10.1007/3-540-49059-0_30</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b5lwovn53zhq5dnv5mmbpso7ku">fatcat:b5lwovn53zhq5dnv5mmbpso7ku</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180728165040/https://link.springer.com/content/pdf/10.1007%2F3-540-49059-0_30.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/12/e1/12e134217d27988520894a4edb8b1ffdb788425f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-49059-0_30"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

SEFM: software engineering and formal methods

Gilles Barthe, Alberto Pardo, Gerardo Schneider
<span title="2014-02-22">2014</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dfdth37zyfetvchsdjk5e2osrq" style="color: black;">Journal of Software and Systems Modeling</a> </i> &nbsp;
Besides, some specific software development standards require a certain minimum level of rigorousness in the development and validation of tools in order to be certified, justifying the use of more formal  ...  The aim of this special issue is to provide a collection of papers on different aspects of formal methods, hoping that advances in this area will help their applicability in software engineering.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10270-014-0404-6">doi:10.1007/s10270-014-0404-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/e4ooqbrgfzhjlkbbtpjvi23r2u">fatcat:e4ooqbrgfzhjlkbbtpjvi23r2u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181030043002/https://link.springer.com/content/pdf/10.1007%2Fs10270-014-0404-6.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/66/bd/66bd5855a79c253968fec189823a031eb00cf050.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10270-014-0404-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Methodologies and Technologies for Rule-Based Systems Design and Implementation. Towards Hybrid Knowledge Engineering [chapter]

Grzegorz J. Nalepa
<span title="">2008</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/oqt3yqhkxvcubnonwg57er4tdq" style="color: black;">Studies in Computational Intelligence</a> </i> &nbsp;
Some ideas on combining knowledge engineering with software engineering are discussed. Furthermore, results of RBS design tools survey are enclosed.  ...  A practical design of non-trivial rule-based systems requires a systematic, structured and consistent approach. The paper focuses on selected issues in RBS knowledge engineering.  ...  Concluding Remarks In the paper RBS knowledge engineering issues, methodologies and selected tools have been discussed. They have been contrasted with some aspects of software engineering.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-77475-4_12">doi:10.1007/978-3-540-77475-4_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uheal5zrazb5jn3jnyy2vunkq4">fatcat:uheal5zrazb5jn3jnyy2vunkq4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705054117/http://ai.ia.agh.edu.pl/wiki/_media/hekate%3Abib%3Agjn-kdc2008.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b0/2a/b02a85797aa48f481fddfd038c4cdda515648df7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-77475-4_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Hacker-proof coding

Esther Shein
<span title="2017-07-24">2017</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/i6iajiiyxvgz3ob6jwcn2pufni" style="color: black;">Communications of the ACM</a> </i> &nbsp;
Tatlock and his colleagues have built a suite of tools the engineers use in their regular development process.  ...  Also, the U.S. Federal Aviation Administration (FAA) has issued guidelines that allow the use of formal methods tools to replace some of the methods it uses for "certification credit."  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3105423">doi:10.1145/3105423</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tg4tkm3pdfer5axtr7m7adcmwu">fatcat:tg4tkm3pdfer5axtr7m7adcmwu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190130013144/https://www.cs.siue.edu/%7Ewwhite/CS360/EthicsArticles/1101HackerProofCoding.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8b/bf/8bbf078234e508c0cb6dc0f5d81151304f1ddf23.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3105423"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

The role of inspection in software quality assurance

D.L. Parnas, M. Lawford
<span title="">2003</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dthyqga2onff5nwf4agwqtrhxi" style="color: black;">IEEE Transactions on Software Engineering</a> </i> &nbsp;
ACKNOWLEDGMENTS The authors would like to thank all of the 2001 WISE participants and, in particular, those that submitted articles for consideration in the special issues.  ...  Finally, we would like to thank John Knight, Steve McConnell, and Warren Harrison for their encouragement of the linked special issues idea, and the editorial staff of both Software and TSE for their support  ...  In "Design and Implementation of a Fine-Grained Software Inspection Tool," Anderson et al. describe the theoretical and practical issues underlying a tool that tool can be used to make the inspection of  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tse.2003.1223642">doi:10.1109/tse.2003.1223642</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sqwkc7pytjb67b2cgh3tfpk32m">fatcat:sqwkc7pytjb67b2cgh3tfpk32m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20090709145237/http://www.cas.mcmaster.ca/~lawford/papers/TSE03.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5f/34/5f343e59abe4dcbd7f74f0ccc5cb2adcb9fbd7b2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tse.2003.1223642"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Improving CSE software through reproducibility requirements

Michael A. Heroux
<span title="">2011</span> <i title="ACM Press"> Proceeding of the 4th international workshop on Software engineering for computational science and engineering - SECSE &#39;11 </i> &nbsp;
Theoretical and experimental science rely heavily on independent verification of results as part of the scientific process.  ...  This issue has been a concern for funding agencies, since new research increasingly relies upon and produces computational tools.  ...  Good software engineering is a part of the process.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1985782.1985787">doi:10.1145/1985782.1985787</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wn2ybxiigndvtm3k6bqcazt37a">fatcat:wn2ybxiigndvtm3k6bqcazt37a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130222001713/http://www.cs.sandia.gov/~maherou/docs/HerouxSecseReproducibility.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8c/4b/8c4bdf8f1f420f863a298685e60392dcf6d88933.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1985782.1985787"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

From Model Driven Engineering to Verification Driven Engineering [chapter]

Fabrice Kordon, Jérôme Hugues, Xavier Renault
<span title="">2008</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The definition and construction of complex computer-based systems require not just software engineering knowledge, but also many other domainspecific techniques to ensure many system's functional and non-functional  ...  We propose to switch from MDE to VDE: Verification-Driven Engineering, so that the user knows how to model a system to analyze it.  ...  The VDE helicoidal life cycle 2. Then, they perform some verification operations using some of the techniques and tools mentioned in table 1.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-87785-1_34">doi:10.1007/978-3-540-87785-1_34</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tofm3g6sq5gxvjf6bokvobar5e">fatcat:tofm3g6sq5gxvjf6bokvobar5e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180726151627/https://link.springer.com/content/pdf/10.1007%2F978-3-540-87785-1_34.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ff/e0/ffe05a37893fb9af4339733eb9cfc52436bdbe5d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-87785-1_34"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Proof Engineering Considered Essential [chapter]

Gerwin Klein
<span title="">2014</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In the second part of the talk, I will report on our experience in proof engineering methods and tools, and pose a number of research questions that we think will be important to solve for the wider scale  ...  In this talk, I will give an overview of the various formal verification projects around the evolving seL4 microkernel, and discuss our experience in large-scale proof engineering and maintenance.  ...  Many of the issues faced in such verification projects are similar to those in software engineering: there is the matter of merely browsing, understanding, and finding intermediate facts in a large code  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-06410-9_2">doi:10.1007/978-3-319-06410-9_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fs4qvxrgmzhh5g4qnn2z6fcqpa">fatcat:fs4qvxrgmzhh5g4qnn2z6fcqpa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140716073509/http://www.nicta.com.au/pub?doc=7923" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7e/b1/7eb1b1b967384055e8d628be73020954d31e49f8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-06410-9_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Inspection's role in software quality assurance

D.L. Parnas, M. Lawford
<span title="">2003</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jhl2cbsylzbvrkralsnalz2dci" style="color: black;">IEEE Software</a> </i> &nbsp;
Acknowledgments We thank all the 2001 Workshop on Inspection in Software Engineering participants, particularly those who submitted articles for consideration in the special issues.  ...  Finally, we thank John Knight, Steve McConnell, and Warren Harrison for encouraging the linked-special-issues idea, and the IEEE Software and IEEE Transactions on Software Engineering editorial staffs  ...  The best ideas from the workshop have been distilled into pairs of articles appearing in linked special issues of IEEE Software and IEEE Transactions on Software Engineering.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ms.2003.1207449">doi:10.1109/ms.2003.1207449</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/37zlmaoirfgztnhmuhwp6oliky">fatcat:37zlmaoirfgztnhmuhwp6oliky</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110401043329/http://www.cas.mcmaster.ca/~lawford/papers/IEEESoftware03.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/53/6e/536e68ccc460772f2f7bde08a39f7459de81301d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ms.2003.1207449"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools [chapter]

Reiner Hähnle, Marieke Huisman
<span title="">2019</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We take stock of the state-of-art and give a list of the most important challenges for the further development of the field of deductive software verification.  ...  Deductive software verification aims at formally verifying that all possible behaviors of a given program satisfy formally defined, possibly complex properties, where the verification process is based  ...  Many thanks to Richard Bubel for help with the preparation of the example in Sect. 2.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-91908-9_18">doi:10.1007/978-3-319-91908-9_18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t3verkvbx5givfekzmbpiw6zla">fatcat:t3verkvbx5givfekzmbpiw6zla</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200510083939/https://link.springer.com/content/pdf/10.1007%2F978-3-319-91908-9_18.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8c/82/8c82419251dead3827f0eb79f78f22410a51f011.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-91908-9_18"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Anquiro

Luca Mottola, Thiemo Voigt, Fredrik Österlind, Joakim Eriksson, Luciano Baresi, Carlo Ghezzi
<span title="">2010</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wvv27s77dvd5flktsj246kcxwu" style="color: black;">Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications - SESENA &#39;10</a> </i> &nbsp;
We demonstrate the use of ANQUIRO in verifying the correctness of a widely used data dissemination protocol. This study allows us to identify issues that the protocol may overlook.  ...  We present ANQUIRO, a domain-specific model checker for statically verifying the correctness of sensor network software.  ...  The authors thank Adam Dunkels for the feedback received on early versions of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1809111.1809122">doi:10.1145/1809111.1809122</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icse/MottolaVOEBG10.html">dblp:conf/icse/MottolaVOEBG10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jeczrjuin5f7vd3w26cv5dcjx4">fatcat:jeczrjuin5f7vd3w26cv5dcjx4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110401152450/http://www.sics.se/~luca/papers/mottola10anquiro.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ae/d0/aed0df145c38e287567590a0b271bbc7f330db13.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1809111.1809122"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Lessons Learned From Microkernel Verification — Specification is the New Bottleneck

Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer
<span title="2012-11-26">2012</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
We discuss a number of issues that impede widespread introduction of formal verification in the software life-cycle process.  ...  Software verification tools have become a lot more powerful in recent years. Even verification of large, complex systems is feasible, as demonstrated in the L4.verified and Verisoft XT projects.  ...  In addition, however, even with modern specification methodologies and verification tools, verification of a large software system suffers from scalability issues.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.102.4">doi:10.4204/eptcs.102.4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rkhqobyravgezemborw6ay2zea">fatcat:rkhqobyravgezemborw6ay2zea</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200709200822/https://formal.iti.kit.edu/beckert/pub/ssv2012.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ce/f0/cef05e3df13e56d7ae375fd5cded1bbad3bd550a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.102.4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Building a common ESL design and verification methodology - is it just a dream?

F. Bacchini, G. Smith, A. Hosseini, A. Parikh, H.T. Chin, P. Urard, E. Girczyc, S. Bloch
<span title="">2006</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bonikunskbdgjicnz3tvcz7334" style="color: black;">Proceedings - Design Automation Conference</a> </i> &nbsp;
Panelists will discuss these and other issues to illuminate some of the steps toward a standard ESL design and verification methodology.  ...  This panel of ESL users and suppliers will take a close look at what is being done today and debate the issues around what more is needed to address increasing system complexity.  ...  Panelists will discuss these and other issues to illuminate some of the steps toward a standard ESL design and verification methodology.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dac.2006.229302">doi:10.1109/dac.2006.229302</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/razka3babrcdbcod4p7fnknp4i">fatcat:razka3babrcdbcod4p7fnknp4i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20061031042021/http://www.dac.com/43rd/PDFs/ESLExtendedAbstract.PDF" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3d/1e/3d1eeeb70a66ea51212c4d8a8be44c2e3d370262.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dac.2006.229302"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Domain-specific languages as key tools for ulssis engineering

Jan Heering, Marjan Mernik
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wvv27s77dvd5flktsj246kcxwu" style="color: black;">Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems - ULSSIS &#39;08</a> </i> &nbsp;
We briefly discuss the potential of domain-specific languages and domain-specific modeling languages for ULSSIS engineering, some of the scaling challenges involved, and the possibilities for raising expressiveness  ...  Taking a quick tour through the ULS report, we indicate some (but by no means all) of the applications of DS(M)Ls in ULSSIS engineering, some of the scaling issues involved, and the possibilities for raising  ...  They variously act as enablers of the use and reuse of domain knowledge, as tools for large-scale software development and software generation, and as tools for end-user development and humancomputer interaction  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1370700.1370701">doi:10.1145/1370700.1370701</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icse/HeeringM08.html">dblp:conf/icse/HeeringM08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oiew7o7md5bjjlwgnby5jlcuae">fatcat:oiew7o7md5bjjlwgnby5jlcuae</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720205057/https://ir.cwi.nl/pub/13253/13253D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/93/88/9388e9a47dd3175fa058067f263e6ab80aa434d1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1370700.1370701"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Guest editorial to the special issue on "modeling: foundations and applications" (MODELS 2013)

Ana Moreira, Bernhard Schätz, Peter Clarke, Antonio Vallecillo
<span title="2015-11-12">2015</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dfdth37zyfetvchsdjk5e2osrq" style="color: black;">Journal of Software and Systems Modeling</a> </i> &nbsp;
Finally, we would like to show our appreciation to the SoSyM editorial office and in particular to Martin Schindler and Bernhard Rumpe, for their excellent support in the preparation of this special issue  ...  Acknowledgements First, we would like to thank the authors of the papers of this special issue for accepting our invitation to extend their work and present their contributions here.  ...  These papers contribute in different ways to the field of model-driven engineering, providing a deeper understanding of some of the issues that practitioners face when designing and developing non-trivial  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10270-015-0500-2">doi:10.1007/s10270-015-0500-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/q35wdunm7rb3jk4kr44qk2nqke">fatcat:q35wdunm7rb3jk4kr44qk2nqke</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180726031838/https://link.springer.com/content/pdf/10.1007%2Fs10270-015-0500-2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ee/ce/eececc3631e2c5c5aa1a3abe92d0bda96339e2ec.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10270-015-0500-2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 94,157 results