Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/ijsi/ijsi5.bht:"
download as .bib file
@article{DBLP:journals/ijsi/Barmpalias11,
author = {George Barmpalias},
title = {On Strings with Trivial Kolmogorov Complexity},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {4},
pages = {579--593},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i112},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Barmpalias11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Bjorner11,
author = {Dines Bj{\o}rner},
title = {On "The Right" Software},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {3},
pages = {509--523},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i99},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Bjorner11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/BreuAFFHI11,
author = {Ruth Breu and
Berthold Agreiter and
Matthias Farwick and
Michael Felderer and
Michael Hafner and
Frank Innerhofer{-}Oberperfler},
title = {Living Models - Ten Principles for Change-Driven Software Engineering},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {267--290},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i84},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/BreuAFFHI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/BruniLM11,
author = {Roberto Bruni and
Alberto Lluch{-}Lafuente and
Ugo Montanari},
title = {On Structured Model-Driven Transformations},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {185--206},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i89},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/BruniLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Clarke11,
author = {Lori A. Clarke},
title = {Environment Support for Improving Software Development Processes:
{A} Vision Influenced by the Work of Barry W. Boehm},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {3},
pages = {475--485},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i95},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Clarke11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/EhrigG11,
author = {Hartmut Ehrig and
Karsten Gabriel},
title = {Transformation of Algebraic High-Level Nets and Amalgamation of Processes
with Applications to Communication Platforms},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {207--229},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i81},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/EhrigG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/FaberLOQ11,
author = {Johannes Faber and
Sven Linker and
Ernst{-}R{\"{u}}diger Olderog and
Jan{-}David Quesel},
title = {Syspect - Modelling, Specifying, and Verifying Real-Time Systems with
Rich Data},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {117--137},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i78},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/FaberLOQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/HanebergMRSS11,
author = {Dominik Haneberg and
Nina Moebius and
Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel},
title = {Mondex: Engineering a Provable Secure Electronic Purse},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {159--184},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i80},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/HanebergMRSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/HartmanS11,
author = {Gregory S. Hartman and
William L. Scherlis},
title = {Attentiveness: Design for Reactivity at Scale},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {3},
pages = {487--507},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i98},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/HartmanS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/HofnerKM11,
author = {Peter H{\"{o}}fner and
Ridha Kh{\'{e}}dri and
Bernhard M{\"{o}}ller},
title = {Supplementing Product Families with Behaviour},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {245--266},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i83},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/HofnerKM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/HopcroftSW11,
author = {John E. Hopcroft and
Sucheta Soundarajan and
Liaoruo Wang},
title = {The Future of Computer Science},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {4},
pages = {549--565},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i110},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/HopcroftSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Jeffery11,
author = {Ross Jeffery},
title = {Software Development Cost Modeling and Estimation Through a {UNSW}
Lens},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {3},
pages = {435--442},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i93},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Jeffery11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/JonesL11,
author = {Cliff B. Jones and
Matthew J. Lovert},
title = {Semantic Models for a Logic of Partial Functions},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {55--76},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i76},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/JonesL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Kishida11,
author = {Kouichi Kishida},
title = {Polyphonic Aspects of Software Process Looking for Philosophical Foundation
of Software Engineering},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {3},
pages = {535--546},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i97},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Kishida11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Lamport11,
author = {Leslie Lamport},
title = {Euclid Writes an Algorithm: {A} Fairytale},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {7--20},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i73},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Lamport11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/LengauerA11,
author = {Christian Lengauer and
Sven Apel},
title = {Feature-Oriented System Design and Engineering},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {231--244},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i82},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/LengauerA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Li11,
author = {Angsheng Li},
title = {Preface},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {4},
pages = {547--548},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i108},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Li11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Meyer11,
author = {Bertrand Meyer},
title = {Steps Towards a Theory and Calculus of Aliasing},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {77--115},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i77},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Meyer11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Nipkow11,
author = {Tobias Nipkow},
title = {Majority Vote Algorithm Revisited Again},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {21--28},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i74},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Nipkow11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Osterweil11,
author = {Leon J. Osterweil},
title = {Preface},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {3},
pages = {411--413},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i100},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Osterweil11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Osterweil11a,
author = {Leon J. Osterweil},
title = {A Process Programmer Looks at the Spiral Model: {A} Tribute to the
Deep Insights of Barry W. Boehm},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {3},
pages = {457--474},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i96},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Osterweil11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/PartschDGKR11,
author = {Helmuth Partsch and
Marcel Dausend and
Dominik Gessenharter and
Jens Kohlmeyer and
Alexander Raschke},
title = {From Formal Semantics to Executable Models: {A} Pragmatic Approach
to Model-Driven Development},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {291--312},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i85},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/PartschDGKR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Pomberger11,
author = {Gustav Pomberger},
title = {Digital Graffiti - {A} Framework for Implementing Location-Based Systems},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {355--377},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i88},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Pomberger11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/PreeTHNP11,
author = {Wolfgang Pree and
Josef Templ and
Peter Hintenaus and
Andreas Naderlinger and
Johannes Pletzer},
title = {{TDL} - Steps Beyond Giotto: {A} Case for Automated Software Construction},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {335--354},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i87},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/PreeTHNP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/RingertR11,
author = {Jan Oliver Ringert and
Bernhard Rumpe},
title = {A Little Synopsis on Streams, Stream Processing Functions, and State-Based
Stream Processing},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {29--53},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i75},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/RingertR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Rombach11,
author = {H. Dieter Rombach},
title = {Empirical Software Engineering Models: Can They Become the Equivalent
of Physical Laws in Traditional Engineering?},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {3},
pages = {525--534},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i94},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Rombach11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Royce11,
author = {Walker Royce},
title = {Measuring Agility and Architectural Integrity},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {3},
pages = {415--433},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i92},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Royce11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Selic11,
author = {Bran Selic},
title = {A Short Catalogue of Abstraction Patterns for Model-Based Software
Engineering},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {313--334},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i86},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Selic11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Siegel11,
author = {Neil G. Siegel},
title = {Organizing Projects Around the Mitigation of Risks Arising from System
Dynamic Behavior},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {3},
pages = {443--455},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i91},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Siegel11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/SolhaugS11,
author = {Bj{\o}rnar Solhaug and
Ketil St{\o}len},
title = {Preservation of Policy Adherence under Refinement},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {139--157},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i79},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/SolhaugS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/SoskovS11,
author = {Ivan N. Soskov and
Mariya Ivanova Soskova},
title = {Kalimullin Pairs of {\textsection}02 w-Enumeration Degrees},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {4},
pages = {637--658},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i114},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/SoskovS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/WangFC11,
author = {Jianxin Wang and
Qilong Feng and
Jianer Chen},
title = {Color-Coding and its Applications: {A} Survey},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {4},
pages = {595--606},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i113},
timestamp = {Fri, 21 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/WangFC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/WirsingL11,
author = {Martin Wirsing and
Ruqian Lu},
title = {Preface: Foundations and Practice of Systems and Software Engineering
- Towards Scientific Contribution of Prof. Manfred Broy},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {1--6},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i90},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/WirsingL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Xia11,
author = {Mingji Xia},
title = {Holographic Reduction: {A} Domain Changed Application and its Partial
Converse Theorems},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {4},
pages = {567--577},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i109},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Xia11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/XuZC11,
author = {Zhiwu Xu and
Lixiao Zheng and
Haiming Chen},
title = {A Toolkit for Generating Sentences from Context-Free Grammars},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {4},
pages = {659--676},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i115},
timestamp = {Mon, 11 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijsi/XuZC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Zhang11,
author = {Peng Zhang},
title = {Rent-or-Buy Network Design Problem and the Sample-Augment Algorithm:
{A} Survey},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {4},
pages = {607--636},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i111},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Zhang11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-29 17:24 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
