|
|
Search by
|
| Article NO. | Title | Author Name | Vol. Issue NO. | Number of Download | Copy |
| i92 |
Measuring Agility and Architectural Integrity
|
Walker Royce
|
2011,5(3):415-433
| 576 |
|
| i94 |
Empirical Software Engineering Models: Can They Become the Equivalent of Physical Laws in Traditional Engineering?
|
Dieter Rombach
|
2011,5(3):525-534
| 476 |
|
| i78 |
Syspect -- Modelling, Specifying, and Verifying Real-Time Systems with Rich Data
|
Johannes Fabe,Sven Linker,Ernst-Rudiger Olderog and Jan-David Quesel
|
2011,5(1-2Part1):117-137
| 448 |
|
| i93 |
Software Development Cost Modeling and Estimation Through a UNSW Lens
|
Ross Jeffery
|
2011,5(3):435-442
| 426 |
|
| i95 |
Environment Support for Improving Software Development Processes: A Vision Influenced by the Work of Barry W. Boehm
|
Lori A. Clarke
|
2011,5(3):475-485
| 425 |
|
| i96 |
A Process Programmer Looks at the Spiral Model: A Tribute to the Deep Insights of Barry W. Boehm
|
Leon J. Osterweil
|
2011,5(3):457-474
| 383 |
|
| i97 |
Polyphonic Aspects of Software Process Looking for Philosophical Foundation of Software Engineering
|
Kouichi Kishida
|
2011,5(3):535-546
| 341 |
|
| i98 |
Attentiveness: Design for Reactivity at Scale
|
Gregory S. Hartman and William L. Scherlis
|
2011,5(3):487-507
| 318 |
|
| i91 |
Organizing Projects Around the Mitigation of Risks Arising from System Dynamic Behavior
|
Neil G. Siegel
|
2011,5(3):443-455
| 315 |
|
| i99 |
On "The Right" Software
|
Dines Bjorner
|
2011,5(3):509-523
| 310 |
|
| i90 |
Preface: Foundations and Practice of Systems and Software Engineering -- Towards Scientific Contribution of Prof. Manfred Broy
|
Martin Wirsing and Ruqian Lu
|
2011,5(1-2Part1):1-6
| 302 |
|
| i85 |
From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development
|
Helmuth Partsch,Marcel Dausend,Dominik Gessenharter,Jens Kohlmeyer and Alexander Raschke
|
2011,5(1-2Part2):291-312
| 288 |
|
| i75 |
A Little Synopsis on Streams, Stream Processing Functions, and State-Based Stream Processing
|
Jan Oliver Ringert and Bernhard Rumpe
|
2011,5(1-2Part1):29-53
| 275 |
|
| i73 |
Euclid Writes an Algorithm: A Fairytale
|
Leslie Lamport
|
2011,5(1-2Part1):7-20
| 267 |
|
| i76 |
Semantic Models for a Logic of Partial Functions
|
Cliff B. Jones and Matthew J. Lovert
|
2011,5(1-2Part1):55-76
| 267 |
|
| i77 |
Steps Towards a Theory and Calculus of Aliasing
|
Bertrand Meyer
|
2011,5(1-2Part1):77-115
| 265 |
|
| i80 |
Mondex: Engineering a Provable Secure Electronic Purse
|
Dominik Haneberg,Nina Moebius,Wolfgang Reif,Gerhard Schellhorn,
and Kurt Stenzel and Kurt Stenzel
|
2011,5(1-2Part1):159-184
| 254 |
|
| i88 |
Digital Graffiti -- A Framework for Implementing Location-Based Systems
|
Gustav Pomberger
|
2011,5(1-2Part2):355-377
| 252 |
|
| i110 |
The Future of Computer Science
|
John E. Hopcroft,Sucheta Soundarajan and Liaoruo Wang
|
2011,5(4):549-565
| 251 |
|
| i90a |
The photo of Prof. Manfred Broy with signature
|
Manfred Broy
|
2011,5(1-2Part1):0-0
| 247 |
|
|
|
| |
 |
|
|
| Visitor:286440 |
|
|
