default search action
International Journal of Software and Informatics, Volume 5
Volume 5, Number 1-2, 2011
- Martin Wirsing, Ruqian Lu:
Preface: Foundations and Practice of Systems and Software Engineering - Towards Scientific Contribution of Prof. Manfred Broy. 1-6 - Leslie Lamport:
Euclid Writes an Algorithm: A Fairytale. 7-20 - Tobias Nipkow:
Majority Vote Algorithm Revisited Again. 21-28 - Jan Oliver Ringert, Bernhard Rumpe:
A Little Synopsis on Streams, Stream Processing Functions, and State-Based Stream Processing. 29-53 - Cliff B. Jones, Matthew J. Lovert:
Semantic Models for a Logic of Partial Functions. 55-76 - Bertrand Meyer:
Steps Towards a Theory and Calculus of Aliasing. 77-115 - Johannes Faber, Sven Linker, Ernst-Rüdiger Olderog, Jan-David Quesel:
Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data. 117-137 - Bjørnar Solhaug, Ketil Stølen:
Preservation of Policy Adherence under Refinement. 139-157 - Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
Mondex: Engineering a Provable Secure Electronic Purse. 159-184 - Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
On Structured Model-Driven Transformations. 185-206 - Hartmut Ehrig, Karsten Gabriel:
Transformation of Algebraic High-Level Nets and Amalgamation of Processes with Applications to Communication Platforms. 207-229
- Christian Lengauer, Sven Apel:
Feature-Oriented System Design and Engineering. 231-244 - Peter Höfner, Ridha Khédri, Bernhard Möller:
Supplementing Product Families with Behaviour. 245-266 - Ruth Breu, Berthold Agreiter, Matthias Farwick, Michael Felderer, Michael Hafner, Frank Innerhofer-Oberperfler:
Living Models - Ten Principles for Change-Driven Software Engineering. 267-290 - Helmuth Partsch, Marcel Dausend, Dominik Gessenharter, Jens Kohlmeyer, Alexander Raschke:
From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development. 291-312 - Bran Selic:
A Short Catalogue of Abstraction Patterns for Model-Based Software Engineering. 313-334 - Wolfgang Pree, Josef Templ, Peter Hintenaus, Andreas Naderlinger, Johannes Pletzer:
TDL - Steps Beyond Giotto: A Case for Automated Software Construction. 335-354 - Gustav Pomberger:
Digital Graffiti - A Framework for Implementing Location-Based Systems. 355-377
Volume 5, Number 3, 2011
- Leon J. Osterweil:
Preface. 411-413 - Walker Royce:
Measuring Agility and Architectural Integrity. 415-433 - Ross Jeffery:
Software Development Cost Modeling and Estimation Through a UNSW Lens. 435-442 - Neil G. Siegel:
Organizing Projects Around the Mitigation of Risks Arising from System Dynamic Behavior. 443-455 - Leon J. Osterweil:
A Process Programmer Looks at the Spiral Model: A Tribute to the Deep Insights of Barry W. Boehm. 457-474 - Lori A. Clarke:
Environment Support for Improving Software Development Processes: A Vision Influenced by the Work of Barry W. Boehm. 475-485 - Gregory S. Hartman, William L. Scherlis:
Attentiveness: Design for Reactivity at Scale. 487-507 - Dines Bjørner:
On "The Right" Software. 509-523 - H. Dieter Rombach:
Empirical Software Engineering Models: Can They Become the Equivalent of Physical Laws in Traditional Engineering? 525-534 - Kouichi Kishida:
Polyphonic Aspects of Software Process Looking for Philosophical Foundation of Software Engineering. 535-546
Volume 5, Number 4, 2011
- Angsheng Li:
Preface. 547-548 - John E. Hopcroft, Sucheta Soundarajan, Liaoruo Wang:
The Future of Computer Science. 549-565 - Mingji Xia:
Holographic Reduction: A Domain Changed Application and its Partial Converse Theorems. 567-577 - George Barmpalias:
On Strings with Trivial Kolmogorov Complexity. 579-593 - Jianxin Wang, Qilong Feng, Jianer Chen:
Color-Coding and its Applications: A Survey. 595-606 - Peng Zhang:
Rent-or-Buy Network Design Problem and the Sample-Augment Algorithm: A Survey. 607-636 - Ivan N. Soskov, Mariya Ivanova Soskova:
Kalimullin Pairs of §02 w-Enumeration Degrees. 637-658 - Zhiwu Xu, Lixiao Zheng, Haiming Chen:
A Toolkit for Generating Sentences from Context-Free Grammars. 659-676
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.
last updated on 2024-11-22 19:45 CET 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: