|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
28 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Alias calculus, change calculus and frame inference |
Kogtenkov, Alexander |
2015 |
97 | P1 |
p. 163-172 10 p. |
artikel |
|
| 2 | Constraint design rewriting |
Bruni, Roberto |
2015 |
97 | P1 |
p. 23-30 8 p. |
artikel |
|
| 3 | Crawl-based analysis of web applications: Prospects and challenges |
van Deursen, Arie |
2015 |
97 | P1 |
p. 173-180 8 p. |
artikel |
|
| 4 | Developing correct, distributed, adaptive software |
Dalla Preda, Mila |
2015 |
97 | P1 |
p. 41-46 6 p. |
artikel |
|
| 5 | Experience with correctness-by-construction |
Watson, B.W. |
2015 |
97 | P1 |
p. 55-58 4 p. |
artikel |
|
| 6 | Extending a model-driven cross-platform development approach for business apps |
Heitkötter, Henning |
2015 |
97 | P1 |
p. 31-36 6 p. |
artikel |
|
| 7 | Generative software complexity and software understanding |
Heering, Jan |
2015 |
97 | P1 |
p. 82-85 4 p. |
artikel |
|
| 8 | Infeasible paths in object-oriented programs |
Tip, Frank |
2015 |
97 | P1 |
p. 91-97 7 p. |
artikel |
|
| 9 | Language-based software engineering |
Gupta, Gopal |
2015 |
97 | P1 |
p. 37-40 4 p. |
artikel |
|
| 10 | Parse views with Boolean grammars |
Stevenson, Andrew |
2015 |
97 | P1 |
p. 59-63 5 p. |
artikel |
|
| 11 | Parsing for agile modeling |
Nierstrasz, Oscar |
2015 |
97 | P1 |
p. 150-156 7 p. |
artikel |
|
| 12 | Preface |
Vinju, Jurgen J. |
2015 |
97 | P1 |
p. 1- 1 p. |
artikel |
|
| 13 | Principled software microengineering |
Johnstone, Adrian |
2015 |
97 | P1 |
p. 64-68 5 p. |
artikel |
|
| 14 | Semantics of programming languages: Using Asf+Sdf |
Mosses, Peter D. |
2015 |
97 | P1 |
p. 2-10 9 p. |
artikel |
|
| 15 | Software chrestomathies |
Lämmel, Ralf |
2015 |
97 | P1 |
p. 98-104 7 p. |
artikel |
|
| 16 | Software engineering: Redundancy is key |
van den Brand, Mark |
2015 |
97 | P1 |
p. 75-81 7 p. |
artikel |
|
| 17 | Source-code queries with graph databases—with application to programming language usage and evolution |
Urma, Raoul-Gabriel |
2015 |
97 | P1 |
p. 127-134 8 p. |
artikel |
|
| 18 | Syntactic-semantic incrementality for agile verification |
Bianculli, Domenico |
2015 |
97 | P1 |
p. 47-54 8 p. |
artikel |
|
| 19 | The role of supervisory controller synthesis in automatic control software development |
Baeten, Jos |
2015 |
97 | P1 |
p. 17-22 6 p. |
artikel |
|
| 20 | Towards base rates in software analytics |
Bruntink, Magiel |
2015 |
97 | P1 |
p. 135-142 8 p. |
artikel |
|
| 21 | Towards evidence-based recommendations to guide the evolution of component-based product families |
Moonen, Leon |
2015 |
97 | P1 |
p. 105-112 8 p. |
artikel |
|
| 22 | Towards multilingual programming environments |
van der Storm, Tijs |
2015 |
97 | P1 |
p. 143-149 7 p. |
artikel |
|
| 23 | Understanding database schema evolution: A case study |
Cleve, Anthony |
2015 |
97 | P1 |
p. 113-121 9 p. |
artikel |
|
| 24 | Understanding information update in questionnaires |
van Eijck, Jan |
2015 |
97 | P1 |
p. 69-74 6 p. |
artikel |
|
| 25 | Understanding probabilistic software leaks |
Snelting, Gregor |
2015 |
97 | P1 |
p. 122-126 5 p. |
artikel |
|
| 26 | Understanding software artifact provenance |
Godfrey, Michael W. |
2015 |
97 | P1 |
p. 86-90 5 p. |
artikel |
|
| 27 | Understanding software through linguistic abstraction |
Visser, Eelco |
2015 |
97 | P1 |
p. 11-16 6 p. |
artikel |
|
| 28 | Verifying pointer programs using graph grammars |
Heinen, Jonathan |
2015 |
97 | P1 |
p. 157-162 6 p. |
artikel |
28 gevonden resultaten