|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
363 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A bargaining-specific architecture for supporting automated service agreement negotiation systems |
Resinas, Manuel |
2012 |
141-142 | 1 |
p. 4-28 25 p. |
artikel |
|
| 2 | About synchronous programming and abstract interpretation |
Halbwachs, Nicolas |
1998 |
141-142 | 1 |
p. 75-89 15 p. |
artikel |
|
| 3 | Abstract interpretation of combinational asynchronous circuits |
Thompson, Sarah |
2007 |
141-142 | 1 |
p. 166-183 18 p. |
artikel |
|
| 4 | Abstract interpretation using typed decision graphs |
Mauborgne, Laurent |
1998 |
141-142 | 1 |
p. 91-112 22 p. |
artikel |
|
| 5 | Abstraction and specification in program development |
Stavridou, V. |
1988 |
141-142 | 1 |
p. 92-93 2 p. |
artikel |
|
| 6 | A calculus for concurrent system with higher-order streaming communication |
Murakami, Masaki |
2005 |
141-142 | 1 |
p. 61-72 12 p. |
artikel |
|
| 7 | A calculus of logical relations for over- and underapproximating static analyses |
Schmidt, David A. |
2007 |
141-142 | 1 |
p. 29-53 25 p. |
artikel |
|
| 8 | A case study of number-theoretic computation: searching for primes in arithmetic progression |
Pritchard, Paul A. |
1983 |
141-142 | 1 |
p. 37-63 27 p. |
artikel |
|
| 9 | A challenge for atomicity verification |
Hesselink, Wim H. |
2008 |
141-142 | 1 |
p. 57-72 16 p. |
artikel |
|
| 10 | A documental approach to adventure game development |
Moreno-Ger, Pablo |
2007 |
141-142 | 1 |
p. 3-31 29 p. |
artikel |
|
| 11 | A first course in formal logic and its applications in computer science |
Wordsworth, J.B. |
1988 |
141-142 | 1 |
p. 88-89 2 p. |
artikel |
|
| 12 | A first-order language for expressing sharing and type properties of logic programs |
Volpe, Paolo |
2001 |
141-142 | 1 |
p. 125-148 24 p. |
artikel |
|
| 13 | A formal description of evolving software systems architectures |
Lucena, C.J.P. |
1995 |
141-142 | 1 |
p. 41-61 21 p. |
artikel |
|
| 14 | A formal design language for real-time systems with data |
Bradley, Steven |
2001 |
141-142 | 1 |
p. 3-29 27 p. |
artikel |
|
| 15 | A formal model of concurrent systems based on bipartite directed acyclic graph |
Murakami, Masaki |
2006 |
141-142 | 1 |
p. 38-47 10 p. |
artikel |
|
| 16 | A functional theory of exceptions |
Spivey, Mike |
1990 |
141-142 | 1 |
p. 25-42 18 p. |
artikel |
|
| 17 | Agent Coordination Contexts for the formal specification and enactment of coordination and security policies |
Omicini, Andrea |
2006 |
141-142 | 1 |
p. 88-107 20 p. |
artikel |
|
| 18 | A global path planning Java-based system for autonomous mobile robots |
Elnagar, Ashraf |
2004 |
141-142 | 1 |
p. 107-122 16 p. |
artikel |
|
| 19 | A Java-based approach for teaching principles of adaptive and evolvable software |
Gray, Jeff |
2004 |
141-142 | 1 |
p. 51-69 19 p. |
artikel |
|
| 20 | A Java-based digital library portal for geography education |
Liu, Zehua |
2004 |
141-142 | 1 |
p. 87-105 19 p. |
artikel |
|
| 21 | A Java-based system for building animated presentations over the Web |
Bonifaci, Vincenzo |
2004 |
141-142 | 1 |
p. 37-49 13 p. |
artikel |
|
| 22 | Algorithm animation |
Wills, Alan |
1989 |
141-142 | 1 |
p. 90-92 3 p. |
artikel |
|
| 23 | Algorithmic information theory |
Shepherdson, J.C. |
1988 |
141-142 | 1 |
p. 98-99 2 p. |
artikel |
|
| 24 | Algorithmics—The spirit of computing |
Walter, C.D. |
1988 |
141-142 | 1 |
p. 87-88 2 p. |
artikel |
|
| 25 | Algorithmic studies in mass storage systems |
1984 |
141-142 | 1 |
p. 96-97 2 p. |
artikel |
||
| 26 | Algorithms: Their efficiency and complexity |
Paterson, Mike |
1988 |
141-142 | 1 |
p. 93-95 3 p. |
artikel |
|
| 27 | A linear approximation algorithm for bin packing with absolute approximation factor 3 2 |
Berghammer, Rudolf |
2003 |
141-142 | 1 |
p. 67-80 14 p. |
artikel |
|
| 28 | A logic for information flow analysis with an application to forward slicing of simple imperative programs |
Amtoft, Torben |
2007 |
141-142 | 1 |
p. 3-28 26 p. |
artikel |
|
| 29 | A method for solving synchronization problems |
Andrews, Gregory R. |
1989 |
141-142 | 1 |
p. 1-21 21 p. |
artikel |
|
| 30 | A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models |
Benghazi Akhlaki, K. |
2007 |
141-142 | 1 |
p. 41-56 16 p. |
artikel |
|
| 31 | A methodology for programming with concurrency: An informal presentation |
Lengauer, Christian |
1982 |
141-142 | 1 |
p. 1-18 18 p. |
artikel |
|
| 32 | A methodology for programming with concurrency: the formalism |
Lengauer, Christian |
1982 |
141-142 | 1 |
p. 19-52 34 p. |
artikel |
|
| 33 | An abstract interpretation for estimating uncaught exceptions in Standard ML programs |
Yi, Kwangkeun |
1998 |
141-142 | 1 |
p. 147-173 27 p. |
artikel |
|
| 34 | An architecture for access control management in collaborative enterprise systems based on organization models |
Gutiérrez Vela, F.L. |
2007 |
141-142 | 1 |
p. 44-59 16 p. |
artikel |
|
| 35 | An empirical study of aspect-oriented metrics |
Piveta, Eduardo Kessler |
2012 |
141-142 | 1 |
p. 117-144 28 p. |
artikel |
|
| 36 | A new programming technique for lazy functional languages |
van Gilst, F.A. |
1995 |
141-142 | 1 |
p. 63-81 19 p. |
artikel |
|
| 37 | An example of sequentialization of a parallel algorithm |
Arnold, André |
1989 |
141-142 | 1 |
p. 111-116 6 p. |
artikel |
|
| 38 | An exercise in the transformational derivation of an efficient program by joint development of control and data structure |
Partsch, H. |
1983 |
141-142 | 1 |
p. 1-35 35 p. |
artikel |
|
| 39 | An exercise in transformational programming: Backtracking and branch-and-bound |
Fokkinga, Maarten M. |
1991 |
141-142 | 1 |
p. 19-48 30 p. |
artikel |
|
| 40 | An implementation framework for Software Architectures based on the coordination paradigm |
Papadopoulos, George A. |
2006 |
141-142 | 1 |
p. 27-67 41 p. |
artikel |
|
| 41 | An improved method for test case prioritization by incorporating historical test case data |
Khalilian, Alireza |
2012 |
141-142 | 1 |
p. 93-116 24 p. |
artikel |
|
| 42 | An inconsistency in procedures, parameters, and substitution in the refinement calculus |
Cavalcanti, Ana |
1999 |
141-142 | 1 |
p. 87-96 10 p. |
artikel |
|
| 43 | An interactive environment for beginning Java programmers |
Goldman, Kenneth J |
2004 |
141-142 | 1 |
p. 3-24 22 p. |
artikel |
|
| 44 | An Introduction to Discrete Mathematics and Formal System Specification |
Grosvenor, Dave |
1989 |
141-142 | 1 |
p. 122-125 4 p. |
artikel |
|
| 45 | Announcement |
1991 |
141-142 | 1 |
p. 101- 1 p. |
artikel |
||
| 46 | Announcements |
1984 |
141-142 | 1 |
p. 99-101 3 p. |
artikel |
||
| 47 | A polynomial-time algorithm for global value numbering |
Gulwani, Sumit |
2007 |
141-142 | 1 |
p. 97-114 18 p. |
artikel |
|
| 48 | A Product Line engineering practices model |
Coallier, François |
2005 |
141-142 | 1 |
p. 73-87 15 p. |
artikel |
|
| 49 | A review of Ada tasking |
Mearns, Ian |
1988 |
141-142 | 1 |
p. 90-91 2 p. |
artikel |
|
| 50 | A source of inconsistency in theories of nondeterministic functions |
Morris, J.M. |
2002 |
141-142 | 1 |
p. 77-89 13 p. |
artikel |
|
| 51 | A spectral estimation toolkit for Java applications |
Shah, Vijay |
2005 |
141-142 | 1 |
p. 125-142 18 p. |
artikel |
|
| 52 | Assessing the SALSA architecture for developing agent-based ambient computing applications |
Rodríguez, Marcela D. |
2012 |
141-142 | 1 |
p. 46-65 20 p. |
artikel |
|
| 53 | A symbolic semantics for abstract model checking |
Levi, Francesca |
2001 |
141-142 | 1 |
p. 93-123 31 p. |
artikel |
|
| 54 | A technique for recursion removal based on string homomorphisms |
Heilbrunner, Stephan |
1982 |
141-142 | 1 |
p. 69-81 13 p. |
artikel |
|
| 55 | A technique for solving a class of quadratic FP equations |
Banerjee, Debasish |
1992 |
141-142 | 1 |
p. 61-85 25 p. |
artikel |
|
| 56 | Automated compositional Markov chain generation for a plain-old telephone system |
Hermanns, Holger |
2000 |
141-142 | 1 |
p. 97-127 31 p. |
artikel |
|
| 57 | Automated verification of function block-based industrial control systems |
Völker, Norbert |
2002 |
141-142 | 1 |
p. 101-113 13 p. |
artikel |
|
| 58 | Automatic concurrency in SequenceL |
Cooke, Daniel E. |
2002 |
141-142 | 1 |
p. 115-128 14 p. |
artikel |
|
| 59 | Automatic generation of polynomial invariants of bounded degree using abstract interpretation |
Rodríguez-Carbonell, E. |
2007 |
141-142 | 1 |
p. 54-75 22 p. |
artikel |
|
| 60 | Behavioural correctness of data representations |
Schoett, Oliver |
1990 |
141-142 | 1 |
p. 43-57 15 p. |
artikel |
|
| 61 | BITAM: An engineering-principled method for managing misalignments between business and IT architectures |
Chen, Hong-Mei |
2005 |
141-142 | 1 |
p. 5-26 22 p. |
artikel |
|
| 62 | Books |
1982 |
141-142 | 1 |
p. 83- 1 p. |
artikel |
||
| 63 | Bottom-up tree acceptors |
Hemerik, C. |
1989 |
141-142 | 1 |
p. 51-72 22 p. |
artikel |
|
| 64 | Bridging the algorithm gap: A linear-time functional program for paragraph formatting |
de Moor, Oege |
1999 |
141-142 | 1 |
p. 3-27 25 p. |
artikel |
|
| 65 | Bridging the gap between enterprise architectures and software architectures |
Chung, Lawrence |
2007 |
141-142 | 1 |
p. 1-3 3 p. |
artikel |
|
| 66 | Bridging the gap between software architecture rationale formalisms and actual architecture documents: An ontology-driven approach |
López, Claudia |
2012 |
141-142 | 1 |
p. 66-80 15 p. |
artikel |
|
| 67 | Call for papers: LICS fifth annual IEEE symposium on logic in computer science June 4–7, 1990, Philadelphia, PA, USA |
1989 |
141-142 | 1 |
p. 131-132 2 p. |
artikel |
||
| 68 | Call for papers: MFCS'91 sixteenth international symposium on mathematical foundations of computer science September 9–13, 1991, Warsaw, Poland |
1990 |
141-142 | 1 |
p. 115-116 2 p. |
artikel |
||
| 69 | Characterizing navigation maps for web applications with the NMM approach |
Navarro, A. |
2008 |
141-142 | 1 |
p. 1-16 16 p. |
artikel |
|
| 70 | Circular reference attributed grammars — their evaluation and applications |
Magnusson, Eva |
2007 |
141-142 | 1 |
p. 21-37 17 p. |
artikel |
|
| 71 | Classification of security properties in a Linda-like process algebra |
Aldini, Alessandro |
2006 |
141-142 | 1 |
p. 16-38 23 p. |
artikel |
|
| 72 | Code motion in the presence of critical edges without bidirectional data flow analysis |
Rüthing, Oliver |
2001 |
141-142 | 1 |
p. 3-29 27 p. |
artikel |
|
| 73 | Combining partial evaluation and staged interpretation in the implementation of domain-specific languages |
Herrmann, Christoph A. |
2006 |
141-142 | 1 |
p. 47-65 19 p. |
artikel |
|
| 74 | Communicating Sequential Processes. By C.A.R. Hoare. Prentice-Hall International, London, 1985, viii+256 pages. |
1987 |
141-142 | 1 |
p. 101-105 5 p. |
artikel |
||
| 75 | Communication relations: a paradigm for parallel program design |
Perrin, Guy-René |
1992 |
141-142 | 1 |
p. 25-59 35 p. |
artikel |
|
| 76 | Comparing integrated and external logics of functional programs |
Dybjer, Peter |
1990 |
141-142 | 1 |
p. 59-79 21 p. |
artikel |
|
| 77 | Comparing three coordination models: Reo, ARC, and PBRD |
Talcott, Carolyn |
2011 |
141-142 | 1 |
p. 3-22 20 p. |
artikel |
|
| 78 | Component adaptation through flexible subservicing |
Brogi, Antonio |
2006 |
141-142 | 1 |
p. 39-56 18 p. |
artikel |
|
| 79 | Composing programming languages by combining action-semantics modules |
Doh, Kyung-Goo |
2003 |
141-142 | 1 |
p. 3-36 34 p. |
artikel |
|
| 80 | Computability |
Kuich, W. |
1988 |
141-142 | 1 |
p. 97-98 2 p. |
artikel |
|
| 81 | Computability and implementability issues in abstract data types |
Kapur, Deepak |
1988 |
141-142 | 1 |
p. 33-63 31 p. |
artikel |
|
| 82 | Computability theory, semantics and logic programming |
Ringwood, Graem |
1988 |
141-142 | 1 |
p. 91-94 4 p. |
artikel |
|
| 83 | Concurrency without toil: a systematic method for parallel program design |
Gribomont, E.Pascal |
1993 |
141-142 | 1 |
p. 1-56 56 p. |
artikel |
|
| 84 | Conditions for incremental iteration: Examples and counterexamples |
Ryder, B.G. |
1988 |
141-142 | 1 |
p. 1-15 15 p. |
artikel |
|
| 85 | Confining data and processes in global computing applications |
De Nicola, Rocco |
2006 |
141-142 | 1 |
p. 57-87 31 p. |
artikel |
|
| 86 | Constructive consistency checking for partial specification in Z |
Boiten, Eerke |
1999 |
141-142 | 1 |
p. 29-75 47 p. |
artikel |
|
| 87 | Correctness of on-line partial evaluation for a Pascal-like language |
Meyer, Uwe |
1999 |
141-142 | 1 |
p. 55-73 19 p. |
artikel |
|
| 88 | Correctness of static flow analysis in continuation semantics |
Montenyohl, Margaret |
1991 |
141-142 | 1 |
p. 1-18 18 p. |
artikel |
|
| 89 | Cost of ownership model for a CRM system |
Sohn, So Young |
2006 |
141-142 | 1 |
p. 68-81 14 p. |
artikel |
|
| 90 | Data abstraction and program development using Pascal |
Mitchell, R.J. |
1989 |
141-142 | 1 |
p. 87-88 2 p. |
artikel |
|
| 91 | Decoupling web application concerns through weaving operations |
Cicchetti, Antonio |
2008 |
141-142 | 1 |
p. 62-86 25 p. |
artikel |
|
| 92 | Definition and use of Computation Independent Models in an MDA-based groupware development process |
Garrido, José Luis |
2007 |
141-142 | 1 |
p. 25-43 19 p. |
artikel |
|
| 93 | Derivation of a parsing algorithm in martin-löf's theory of types |
Chisholm, Paul |
1987 |
141-142 | 1 |
p. 1-42 42 p. |
artikel |
|
| 94 | Derivation of concurrent programs: two examples |
Knapp, Edgar |
1992 |
141-142 | 1 |
p. 1-23 23 p. |
artikel |
|
| 95 | Deriving some expansion theorems for nonlinear functional equations by an algorithm |
Yong-Qiang, Sun |
1987 |
141-142 | 1 |
p. 1-15 15 p. |
artikel |
|
| 96 | Designing and managing evolving systems using a MAS product line approach |
Peña, Joaquin |
2007 |
141-142 | 1 |
p. 71-86 16 p. |
artikel |
|
| 97 | Detection of anomalies in software architecture with connectors |
Shin, Michael E. |
2006 |
141-142 | 1 |
p. 16-26 11 p. |
artikel |
|
| 98 | Dynamic configuration management in a graph-oriented Distributed Programming Environment |
Cao, Jiannong |
2003 |
141-142 | 1 |
p. 43-65 23 p. |
artikel |
|
| 99 | Editorial |
1999 |
141-142 | 1 |
p. 1-2 2 p. |
artikel |
||
| 100 | Editorial Board |
1984 |
141-142 | 1 |
p. vi- 1 p. |
artikel |
||
| 101 | Editorial board |
2002 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 102 | Editorial Board |
2003 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 103 | Editorial board |
2003 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 104 | Editorial Board |
1999 |
141-142 | 1 |
p. IFC- 1 p. |
artikel |
||
| 105 | Editorial Board |
1999 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 106 | Editorial Board |
1998 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 107 | Editorial Board |
2008 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 108 | Editorial Board |
2008 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 109 | Editorial Board |
2008 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 110 | Editorial Board |
2007 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 111 | Editorial Board |
2007 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 112 | Editorial Board |
2007 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 113 | Editorial Board |
2006 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 114 | Editorial Board |
2006 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 115 | Editorial Board |
2006 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 116 | Editorial Board |
2006 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 117 | Editorial Board |
2007 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 118 | Editorial Board |
2007 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 119 | Editorial Board |
2005 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 120 | Editorial Board |
2005 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 121 | Editorial Board |
2004 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 122 | Editorial Board |
1988 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 123 | Editorial Board |
1988 |
141-142 | 1 |
p. ii-iii nvt p. |
artikel |
||
| 124 | Editorial Board |
2012 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 125 | Editorial Board |
2011 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 126 | Editorial Board |
1995 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 127 | Editorial Board |
1991 |
141-142 | 1 |
p. IFC- 1 p. |
artikel |
||
| 128 | Editorial board |
1994 |
141-142 | 1 |
p. IFC- 1 p. |
artikel |
||
| 129 | Editorial board |
1993 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 130 | Editorial board |
1992 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 131 | Editorial Board |
1992 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 132 | Editorial Board |
1996 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 133 | Editorial Board |
1997 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 134 | Editorial Board |
1995 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 135 | Editorial board |
1987 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 136 | Editorial board |
1987 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 137 | Editorial Board |
1983 |
141-142 | 1 |
p. iv- 1 p. |
artikel |
||
| 138 | Editorial Board |
1990 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 139 | Editorial Board |
1989 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 140 | Editorial Board |
1990 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 141 | Editorial Board |
1989 |
141-142 | 1 |
p. vi- 1 p. |
artikel |
||
| 142 | Editorial Board |
1982 |
141-142 | 1 |
p. ii- 1 p. |
artikel |
||
| 143 | Educational and technical design of a Web-based interactive tutorial on programming in Java |
Bieg, Claudia |
2004 |
141-142 | 1 |
p. 25-36 12 p. |
artikel |
|
| 144 | Efficient parallel algorithms for tree accumulations |
Gibbons, Jeremy |
1994 |
141-142 | 1 |
p. 1-18 18 p. |
artikel |
|
| 145 | Elementary data structures in ALGOL-like languages |
Tennent, R.D. |
1989 |
141-142 | 1 |
p. 73-110 38 p. |
artikel |
|
| 146 | Elsevier special issue on foundations and applications of model driven architecture |
Aksit, Mehmet |
2008 |
141-142 | 1 |
p. 1-2 2 p. |
artikel |
|
| 147 | Erratum to: Approximate fixed points in abstract interpretation |
Hankin, Chris |
1994 |
141-142 | 1 |
p. 103- 1 p. |
artikel |
|
| 148 | ESTEREL: a formal method applied to avionic software development |
Berry, Gérard |
2000 |
141-142 | 1 |
p. 5-25 21 p. |
artikel |
|
| 149 | Evaluating the effectiveness of pointer alias analyses |
Hind, Michael |
2001 |
141-142 | 1 |
p. 31-55 25 p. |
artikel |
|
| 150 | Evaluating the performance of architectures in MASCOT |
Sancho, Pere P. |
2005 |
141-142 | 1 |
p. 45-60 16 p. |
artikel |
|
| 151 | Experiences with an object-oriented, multi-stage language |
Neverov, Gregory |
2006 |
141-142 | 1 |
p. 85-94 10 p. |
artikel |
|
| 152 | Explaining type inference |
Duggan, Dominic |
1996 |
141-142 | 1 |
p. 37-83 47 p. |
artikel |
|
| 153 | Exploiting runtime bytecode manipulation to add roles to Java agents |
Cabri, Giacomo |
2005 |
141-142 | 1 |
p. 73-98 26 p. |
artikel |
|
| 154 | Expressing aspectual interactions in requirements engineering: Experiences, problems and solutions |
Zambrano, Arturo |
2012 |
141-142 | 1 |
p. 65-92 28 p. |
artikel |
|
| 155 | Extended naming conventions for communicating processes |
Francez, Nissim |
1983 |
141-142 | 1 |
p. 101-114 14 p. |
artikel |
|
| 156 | Extending standard UML with model composition semantics |
Clarke, Siobhán |
2002 |
141-142 | 1 |
p. 71-100 30 p. |
artikel |
|
| 157 | Extracting and implementing list homomorphisms in parallel program development |
Gorlatch, Sergei |
1999 |
141-142 | 1 |
p. 1-27 27 p. |
artikel |
|
| 158 | Fault-tolerant broadcasts |
Schneider, Fred B. |
1984 |
141-142 | 1 |
p. 1-15 15 p. |
artikel |
|
| 159 | Feature integration using a feature construct |
Plath, Malte |
2001 |
141-142 | 1 |
p. 53-84 32 p. |
artikel |
|
| 160 | Finite subtype inference with explicit polymorphism |
Duggan, Dominic |
2001 |
141-142 | 1 |
p. 57-92 36 p. |
artikel |
|
| 161 | Foreword |
Cuellar, Jorge |
2000 |
141-142 | 1 |
p. 1-3 3 p. |
artikel |
|
| 162 | Foreword |
Cousot, Patrick |
1998 |
141-142 | 1 |
p. 1- 1 p. |
artikel |
|
| 163 | Foreword |
Giacobazzi, Roberto |
2007 |
141-142 | 1 |
p. 1-2 2 p. |
artikel |
|
| 164 | Formal Aspects of Component Software (FACS’09) |
Meng, Sun |
2012 |
141-142 | 1 |
p. 1-2 2 p. |
artikel |
|
| 165 | Formalizing and implementing Gries' program development method in dynamic logic |
Heisel, Maritta |
1992 |
141-142 | 1 |
p. 107-137 31 p. |
artikel |
|
| 166 | Formal methods in practice |
Polak, Wolfgang |
2002 |
141-142 | 1 |
p. 75-85 11 p. |
artikel |
|
| 167 | Formal methods: the very idea |
Berry, Daniel M |
2002 |
141-142 | 1 |
p. 11-27 17 p. |
artikel |
|
| 168 | Formal modeling of evolving self-adaptive systems |
Khakpour, Narges |
2012 |
141-142 | 1 |
p. 3-26 24 p. |
artikel |
|
| 169 | Formal verification of programs specified with signal: application to a power transformer station controller |
Marchand, H. |
2001 |
141-142 | 1 |
p. 85-104 20 p. |
artikel |
|
| 170 | Foundations of disjunctive logic programming |
Levi, Giorgio |
1995 |
141-142 | 1 |
p. 99-100 2 p. |
artikel |
|
| 171 | Foundations of Programming Languages |
Clement, T. |
1989 |
141-142 | 1 |
p. 128-130 3 p. |
artikel |
|
| 172 | Framed temporal logic programming |
Duan, Zhenhua |
2008 |
141-142 | 1 |
p. 31-61 31 p. |
artikel |
|
| 173 | Functional documents for computer systems |
Parnas, David Lorge |
1995 |
141-142 | 1 |
p. 41-61 21 p. |
artikel |
|
| 174 | Fundamental Approaches to Software Engineering |
Astesiano, Egidio |
2001 |
141-142 | 1 |
p. 1-2 2 p. |
artikel |
|
| 175 | Fundamentals of algebraic specifications 2, module specifications and constraints |
Reichel, H. |
1990 |
141-142 | 1 |
p. 113-114 2 p. |
artikel |
|
| 176 | Gaussian Elimination: A case study in efficient genericity with MetaOCaml |
Carette, Jacques |
2006 |
141-142 | 1 |
p. 3-24 22 p. |
artikel |
|
| 177 | Generating function versions with rational strictness patterns |
Hall, Cordelia V |
1989 |
141-142 | 1 |
p. 39-74 36 p. |
artikel |
|
| 178 | Generic tools for verifying concurrent systems |
Cleaveland, Rance |
2002 |
141-142 | 1 |
p. 39-47 9 p. |
artikel |
|
| 179 | Geometric reasoning |
Davenport, J.H. |
1990 |
141-142 | 1 |
p. 103-105 3 p. |
artikel |
|
| 180 | Geometry teaching in wireless classroom environments using Java and J2ME |
Kortenkamp, Ulrich |
2004 |
141-142 | 1 |
p. 71-85 15 p. |
artikel |
|
| 181 | Google’s MapReduce programming model — Revisited |
Lämmel, Ralf |
2008 |
141-142 | 1 |
p. 1-30 30 p. |
artikel |
|
| 182 | Graph transformation for specification and programming |
Andries, Marc |
1999 |
141-142 | 1 |
p. 1-54 54 p. |
artikel |
|
| 183 | GREAT: UML transformation tool for porting middleware applications |
Christoph, Alexander |
2008 |
141-142 | 1 |
p. 3-12 10 p. |
artikel |
|
| 184 | Guest editor’s introduction: Special issue on security issues in coordination models, languages, and systems |
Focardi, Riccardo |
2006 |
141-142 | 1 |
p. 1-2 2 p. |
artikel |
|
| 185 | Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity. Volume B: Formal Models and Semantics |
Marandjan, Hrant.B. |
1995 |
141-142 | 1 |
p. 97-99 3 p. |
artikel |
|
| 186 | Heuristics for constructing while loops |
Mili, Fatma |
1992 |
141-142 | 1 |
p. 67-106 40 p. |
artikel |
|
| 187 | High quality navigation in computer games |
Nieuwenhuisen, D. |
2007 |
141-142 | 1 |
p. 91-104 14 p. |
artikel |
|
| 188 | How to make algebraic specifications more understandable: An experiment with the pluss specification language |
Bidoit, M |
1989 |
141-142 | 1 |
p. 1-38 38 p. |
artikel |
|
| 189 | How to solve it by computer |
Gries, D. |
1983 |
141-142 | 1 |
p. 115-116 2 p. |
artikel |
|
| 190 | Human computer interaction: Selected readings |
Wills, Alan |
1991 |
141-142 | 1 |
p. 89-90 2 p. |
artikel |
|
| 191 | Implementing advanced spoken dialogue management in Java |
O’Neill, Ian |
2005 |
141-142 | 1 |
p. 99-124 26 p. |
artikel |
|
| 192 | Implementing aspect-oriented programming constructs as modular language extensions |
Van Wyk, Eric |
2007 |
141-142 | 1 |
p. 38-61 24 p. |
artikel |
|
| 193 | Incremental design of statechart specifications |
Scholz, Peter |
2001 |
141-142 | 1 |
p. 119-145 27 p. |
artikel |
|
| 194 | In search of a program generator to implement generic transformations for high-performance computing |
Cohen, Albert |
2006 |
141-142 | 1 |
p. 25-46 22 p. |
artikel |
|
| 195 | Integrating different versions of programs with backward and forward slices |
Nishimura, Susumu |
1996 |
141-142 | 1 |
p. 1-35 35 p. |
artikel |
|
| 196 | Integration of collaboration and interaction analysis mechanisms in a concern-based architecture for groupware systems |
Duque, Rafael |
2012 |
141-142 | 1 |
p. 29-45 17 p. |
artikel |
|
| 197 | Intensional logics |
Guessarian, Irene |
1995 |
141-142 | 1 |
p. 102-103 2 p. |
artikel |
|
| 198 | Interface descriptions for enterprise architecture |
Garg, Aditya |
2006 |
141-142 | 1 |
p. 4-15 12 p. |
artikel |
|
| 199 | Introduction to combinators and λ-calculus |
Hankin, Chris |
1988 |
141-142 | 1 |
p. 95-97 3 p. |
artikel |
|
| 200 | JastAdd—an aspect-oriented compiler construction system |
Hedin, Görel |
2003 |
141-142 | 1 |
p. 37-58 22 p. |
artikel |
|
| 201 | Knowledge acquisition for adaptive game AI |
Ponsen, Marc |
2007 |
141-142 | 1 |
p. 59-75 17 p. |
artikel |
|
| 202 | Language support for model-driven software development |
Cepa, Vasian |
2008 |
141-142 | 1 |
p. 13-25 13 p. |
artikel |
|
| 203 | Left-bottom and right-top segments |
Van Den Eijnde, J.P.H.W. |
1990 |
141-142 | 1 |
p. 79-94 16 p. |
artikel |
|
| 204 | Letter from the editor |
Bergstra, Jan |
2007 |
141-142 | 1 |
p. v- 1 p. |
artikel |
|
| 205 | Lightweight inference for automation efficiency |
Berzins, V |
2002 |
141-142 | 1 |
p. 61-74 14 p. |
artikel |
|
| 206 | Linear future semantics and its implementation |
Kölbl, Stefan |
1987 |
141-142 | 1 |
p. 87-103 17 p. |
artikel |
|
| 207 | Linear prime-number sieves: A family tree |
Pritchard, Paul |
1987 |
141-142 | 1 |
p. 17-35 19 p. |
artikel |
|
| 208 | LogLogics: A logic for history-dependent business processes |
van Hee, Kees |
2007 |
141-142 | 1 |
p. 30-40 11 p. |
artikel |
|
| 209 | Longest segment problems |
Zantema, H. |
1992 |
141-142 | 1 |
p. 39-66 28 p. |
artikel |
|
| 210 | Master index of volumes 1–10 |
1988 |
141-142 | 1 |
p. 101-106 6 p. |
artikel |
||
| 211 | MetaOCaml server pages: Web publishing as staged computation |
League, Christopher |
2006 |
141-142 | 1 |
p. 66-84 19 p. |
artikel |
|
| 212 | Model-checking CSP-Z: strategy, tool support and industrial application |
Mota, Alexandre |
2001 |
141-142 | 1 |
p. 59-96 38 p. |
artikel |
|
| 213 | Model-driven architecture for embedded software: A synopsis and an example |
Karsai, Gabor |
2008 |
141-142 | 1 |
p. 26-38 13 p. |
artikel |
|
| 214 | Model driven middleware: A new paradigm for developing distributed real-time and embedded systems |
Gokhale, Aniruddha |
2008 |
141-142 | 1 |
p. 39-58 20 p. |
artikel |
|
| 215 | Modeling and performance analysis for security aspects |
Dai, Lirong |
2006 |
141-142 | 1 |
p. 58-71 14 p. |
artikel |
|
| 216 | Modeling dynamic reconfigurations in Reo using high-level replacement systems |
Krause, Christian |
2011 |
141-142 | 1 |
p. 23-36 14 p. |
artikel |
|
| 217 | Modelling and model checking suspendible business processes via statechart diagrams and CSP |
Yeung, W.L. |
2007 |
141-142 | 1 |
p. 14-29 16 p. |
artikel |
|
| 218 | Modular architecture for a toolset supporting OCL |
Hussmann, Heinrich |
2002 |
141-142 | 1 |
p. 51-69 19 p. |
artikel |
|
| 219 | Morris' tree traversal algorithm reconsidered |
Mateti, Prabhaker |
1988 |
141-142 | 1 |
p. 29-43 15 p. |
artikel |
|
| 220 | Mutable strings in Java: design, implementation and lightweight text-search algorithms |
Boldi, Paolo |
2005 |
141-142 | 1 |
p. 3-23 21 p. |
artikel |
|
| 221 | Natural language processing in LISP |
Wood, M.McGee |
1990 |
141-142 | 1 |
p. 110- 1 p. |
artikel |
|
| 222 | Natural language processing in POP-11 |
Wood, M.McGee |
1990 |
141-142 | 1 |
p. 110-112 3 p. |
artikel |
|
| 223 | Natural language processing in Prolog |
Wood, M.McGee |
1990 |
141-142 | 1 |
p. 110- 1 p. |
artikel |
|
| 224 | 2nd GI/NTG/GMR conference on fault-tolerant computing |
1983 |
141-142 | 1 |
p. 117- 1 p. |
artikel |
||
| 225 | Next generation system and software architectures |
Sterritt, Roy |
2006 |
141-142 | 1 |
p. 48-57 10 p. |
artikel |
|
| 226 | Nondeterministic data flow programs: How to avoid the merge anomaly |
Broy, Manfred |
1988 |
141-142 | 1 |
p. 65-85 21 p. |
artikel |
|
| 227 | [No title] |
de Leeuw, Karl |
2007 |
141-142 | 1 |
p. 1-2 2 p. |
artikel |
|
| 228 | [No title] |
Power, James F. |
2005 |
141-142 | 1 |
p. 1-2 2 p. |
artikel |
|
| 229 | Object-oriented algorithm analysis and design with Java |
Rajsbaum, Sergio |
2005 |
141-142 | 1 |
p. 25-47 23 p. |
artikel |
|
| 230 | Object-oriented analysis. |
Jackson, M. |
1990 |
141-142 | 1 |
p. 109-110 2 p. |
artikel |
|
| 231 | Object-oriented software construction |
America, Pierre |
1989 |
141-142 | 1 |
p. 88-90 3 p. |
artikel |
|
| 232 | Object-oriented tree traversal with JJForester |
Kuipers, Tobias |
2003 |
141-142 | 1 |
p. 59-87 29 p. |
artikel |
|
| 233 | Occam 2 reference manual |
1989 |
141-142 | 1 |
p. 84- 1 p. |
artikel |
||
| 234 | On deriving a LISP program from its specification |
Kruseman Aretz, F.E.J. |
1988 |
141-142 | 1 |
p. 19-32 14 p. |
artikel |
|
| 235 | On methodology of representing knowledge in dynamic domains |
Gelfond, Michael |
2002 |
141-142 | 1 |
p. 87-99 13 p. |
artikel |
|
| 236 | On the analysis needs when verifying state-based software requirements: an experience report |
Heimdahl, Mats P.E. |
2000 |
141-142 | 1 |
p. 65-96 32 p. |
artikel |
|
| 237 | On the classification of attribute evaluation algorithms |
Marcelis, A.J.J.M. |
1990 |
141-142 | 1 |
p. 1-24 24 p. |
artikel |
|
| 238 | Ontology-driven middleware for next-generation train backbones |
Verstichel, Stijn |
2007 |
141-142 | 1 |
p. 4-24 21 p. |
artikel |
|
| 239 | Origins of programming: Discourses on methodology |
Turski, W.M. |
1991 |
141-142 | 1 |
p. 95-97 3 p. |
artikel |
|
| 240 | OSF/motif programmer's guide |
Hopkins, Trevor P. |
1991 |
141-142 | 1 |
p. 91-92 2 p. |
artikel |
|
| 241 | OSF/motif style guide |
Hopkins, Trevor P. |
1991 |
141-142 | 1 |
p. 90- 1 p. |
artikel |
|
| 242 | OSF/Motif User's Guide |
Hopkins, Trevor P. |
1991 |
141-142 | 1 |
p. 90- 1 p. |
artikel |
|
| 243 | Parallel programming with data structures and higher order functions |
Maaβen, Andreas |
1992 |
141-142 | 1 |
p. 1-38 38 p. |
artikel |
|
| 244 | Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP |
Kwak, Hee-Hwan |
2002 |
141-142 | 1 |
p. 49-60 12 p. |
artikel |
|
| 245 | Partially interpreted schemas for CSP programming |
Baruch, Orit |
1988 |
141-142 | 1 |
p. 1-18 18 p. |
artikel |
|
| 246 | Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm |
Paleri, V.K. |
2003 |
141-142 | 1 |
p. 1-20 20 p. |
artikel |
|
| 247 | Partition refinement of Component Interaction Automata |
Lumpe, Markus |
2012 |
141-142 | 1 |
p. 27-45 19 p. |
artikel |
|
| 248 | Pascal Precisely |
Wilson, Ian R. |
1989 |
141-142 | 1 |
p. 127-128 2 p. |
artikel |
|
| 249 | Performance modeling and analysis of software architectures: An aspect-oriented UML based approach |
Cooper, Kendra |
2005 |
141-142 | 1 |
p. 89-108 20 p. |
artikel |
|
| 250 | Performance-related ontologies and semantic web applications for on-line performance assessment of intelligent systems |
Lera, Isaac |
2006 |
141-142 | 1 |
p. 27-37 11 p. |
artikel |
|
| 251 | Petri-net-based deadlock analysis of Process Algebra programs |
Rondogiannis, P. |
1994 |
141-142 | 1 |
p. 55-89 35 p. |
artikel |
|
| 252 | Pitfalls of formality in early system design |
Robertson, David |
2002 |
141-142 | 1 |
p. 29-38 10 p. |
artikel |
|
| 253 | PiXL: Applying xml standards to support the integration of analysis tools for protocols |
del Mar Gallardo, María |
2007 |
141-142 | 1 |
p. 57-69 13 p. |
artikel |
|
| 254 | Polynomial approximations of the relational semantics of imperative programs |
Colón, Michael A. |
2007 |
141-142 | 1 |
p. 76-96 21 p. |
artikel |
|
| 255 | Polytypic data conversion programs |
Jansson, Patrik |
2002 |
141-142 | 1 |
p. 35-75 41 p. |
artikel |
|
| 256 | Practice and experience with Java in education |
Mahmoud, Qusay H |
2004 |
141-142 | 1 |
p. 1-2 2 p. |
artikel |
|
| 257 | Predicate calculus and program semantics |
Börger, Egon |
1994 |
141-142 | 1 |
p. 91-101 11 p. |
artikel |
|
| 258 | Predicate transformer semantics |
Schmidt, David |
1995 |
141-142 | 1 |
p. 100-102 3 p. |
artikel |
|
| 259 | Predicate transformer semantics of a higher-order imperative language with record subtyping |
Naumann, David A. |
2001 |
141-142 | 1 |
p. 1-51 51 p. |
artikel |
|
| 260 | Preface |
Evans, Andy |
2002 |
141-142 | 1 |
p. 1-4 4 p. |
artikel |
|
| 261 | Preface |
van den Brand, Mark |
2003 |
141-142 | 1 |
p. 1- 1 p. |
artikel |
|
| 262 | Preface |
Levi, Giorgio |
2001 |
141-142 | 1 |
p. 1- 1 p. |
artikel |
|
| 263 | Preface |
Lengauer, Christian |
2006 |
141-142 | 1 |
p. 1-2 2 p. |
artikel |
|
| 264 | Preface |
Canal, Carlos |
2011 |
141-142 | 1 |
p. 1-2 2 p. |
artikel |
|
| 265 | PRIMA-UML: a performance validation incremental methodology on early UML diagrams |
Cortellessa, Vittorio |
2002 |
141-142 | 1 |
p. 101-129 29 p. |
artikel |
|
| 266 | Principles of Computer Programming: A Mathematical Approach |
Sufrin, Bernard |
1989 |
141-142 | 1 |
p. 117-119 3 p. |
artikel |
|
| 267 | Probabilistic anomaly detection in distributed computer networks |
Burgess, Mark |
2006 |
141-142 | 1 |
p. 1-26 26 p. |
artikel |
|
| 268 | Procedures, parameters, and abstraction: Separate concerns |
Morgan, Carroll |
1988 |
141-142 | 1 |
p. 17-27 11 p. |
artikel |
|
| 269 | Profiles in a strict metamodeling framework |
Atkinson, Colin |
2002 |
141-142 | 1 |
p. 5-22 18 p. |
artikel |
|
| 270 | Program inversion: More than fun! |
Chen, Wei |
1990 |
141-142 | 1 |
p. 1-13 13 p. |
artikel |
|
| 271 | Programming from first principles |
Andrews, D.J. |
1988 |
141-142 | 1 |
p. 87-88 2 p. |
artikel |
|
| 272 | Programming in Occam 2 |
Capon, Peter C. |
1989 |
141-142 | 1 |
p. 84- 1 p. |
artikel |
|
| 273 | Programming Language Theory and Its Implementation |
SokoŁowski, Stefan |
1989 |
141-142 | 1 |
p. 119-122 4 p. |
artikel |
|
| 274 | Prolog and natural-language analysis |
Wood, M.McGee |
1990 |
141-142 | 1 |
p. 110- 1 p. |
artikel |
|
| 275 | Proof rules and transformations dealing with fairness |
Apt, K.R. |
1983 |
141-142 | 1 |
p. 65-100 36 p. |
artikel |
|
| 276 | Proof rules for fault tolerant distributed programs |
Joseph, Mathai |
1987 |
141-142 | 1 |
p. 43-67 25 p. |
artikel |
|
| 277 | Purely functional data structures |
Hartel, Pieter |
1999 |
141-142 | 1 |
p. 75-77 3 p. |
artikel |
|
| 278 | Quality system and software architectures |
Chung, Lawrence |
2006 |
141-142 | 1 |
p. 1-3 3 p. |
artikel |
|
| 279 | Quantifying the yield of risk-bearing IT-portfolios |
Peters, R.J. |
2008 |
141-142 | 1 |
p. 17-56 40 p. |
artikel |
|
| 280 | Quantitative IT portfolio management |
Verhoef, C. |
2002 |
141-142 | 1 |
p. 1-96 96 p. |
artikel |
|
| 281 | Reconciling the needs of architectural description with object-modeling notations |
Garlan, David |
2002 |
141-142 | 1 |
p. 23-49 27 p. |
artikel |
|
| 282 | Report on selected papers from LDTA 2003 |
Bryant, Barrett R. |
2007 |
141-142 | 1 |
p. 1- 1 p. |
artikel |
|
| 283 | Reveur-3: the implementation of a general completion procedure parameterized by built-in theories and strategies |
Kirchner, Claude |
1987 |
141-142 | 1 |
p. 69-86 18 p. |
artikel |
|
| 284 | Rule-based refinement of high-level nets preserving safety properties |
Padberg, J. |
2001 |
141-142 | 1 |
p. 97-118 22 p. |
artikel |
|
| 285 | Sci. Comput. Programming |
1982 |
141-142 | 1 |
p. 85- 1 p. |
artikel |
||
| 286 | ScriptEase: A generative/adaptive programming paradigm for game scripting |
Cutumisu, Maria |
2007 |
141-142 | 1 |
p. 32-58 27 p. |
artikel |
|
| 287 | Secure shared data-space coordination languages: A process algebraic survey |
Focardi, Riccardo |
2006 |
141-142 | 1 |
p. 3-15 13 p. |
artikel |
|
| 288 | Self-healing components in robust software architecture for concurrent and distributed systems |
Shin, Michael E. |
2005 |
141-142 | 1 |
p. 27-44 18 p. |
artikel |
|
| 289 | Semantic independence |
Best, Eike |
1989 |
141-142 | 1 |
p. 23-50 28 p. |
artikel |
|
| 290 | Semantics of digital circuits |
Milne, Robert |
1988 |
141-142 | 1 |
p. 95-97 3 p. |
artikel |
|
| 291 | simpA: An agent-oriented approach for programming concurrent applications on top of Java |
Ricci, Alessandro |
2011 |
141-142 | 1 |
p. 37-62 26 p. |
artikel |
|
| 292 | Small programming exercises 20 |
Rem, M. |
1988 |
141-142 | 1 |
p. 99-105 7 p. |
artikel |
|
| 293 | Small programming exercises 3 |
Rem, M. |
1984 |
141-142 | 1 |
p. 87-94 8 p. |
artikel |
|
| 294 | Small programming exercises 24 |
Rem, M. |
1990 |
141-142 | 1 |
p. 97-101 5 p. |
artikel |
|
| 295 | Small programming exercises 18 |
Rem, M. |
1987 |
141-142 | 1 |
p. 91-100 10 p. |
artikel |
|
| 296 | Small programming exercises 23 |
Rem, M. |
1989 |
141-142 | 1 |
p. 75-81 7 p. |
artikel |
|
| 297 | Small programming exercises 15 |
Rem, M. |
1987 |
141-142 | 1 |
p. 105-112 8 p. |
artikel |
|
| 298 | Software design and prototyping using me too |
Ince, D.C. |
1990 |
141-142 | 1 |
p. 105-106 2 p. |
artikel |
|
| 299 | Software engineering beyond our planning horizon: automation for computer-based systems |
Luqi, |
2002 |
141-142 | 1 |
p. 1-10 10 p. |
artikel |
|
| 300 | Software requirements and architecture modeling for evolving non-secure applications into secure applications |
Shin, Michael E. |
2007 |
141-142 | 1 |
p. 60-70 11 p. |
artikel |
|
| 301 | Software specification techniques |
Parke, Tom |
1988 |
141-142 | 1 |
p. 90-92 3 p. |
artikel |
|
| 302 | Solving games |
Heule, M.J.H. |
2007 |
141-142 | 1 |
p. 105-124 20 p. |
artikel |
|
| 303 | Some algorithms based on the dual of Dilworth's theorem |
Kaldewaij, Anne |
1987 |
141-142 | 1 |
p. 85-89 5 p. |
artikel |
|
| 304 | Some notes on putting formal specifications to productive use |
Guttag, John |
1982 |
141-142 | 1 |
p. 53-68 16 p. |
artikel |
|
| 305 | Specification of concurrent objects using auxiliary variables |
Singh, Ambuj K. |
1991 |
141-142 | 1 |
p. 49-88 40 p. |
artikel |
|
| 306 | Specifying embedded systems with statecharts and Z: an agenda for cyclic software components |
Grieskamp, Wolfgang |
2001 |
141-142 | 1 |
p. 31-57 27 p. |
artikel |
|
| 307 | Stackability in the simply-typed call-by-value lambda calculus |
Banerjee, Anindya |
1998 |
141-142 | 1 |
p. 47-73 27 p. |
artikel |
|
| 308 | State space generation for the HAVi leader election protocol |
Usenko, Yaroslav S. |
2002 |
141-142 | 1 |
p. 1-33 33 p. |
artikel |
|
| 309 | Static typing for object-oriented programming |
Palsberg, Jens |
1994 |
141-142 | 1 |
p. 19-53 35 p. |
artikel |
|
| 310 | Strand: New concepts in parallel programming |
Talia, Domenico |
1990 |
141-142 | 1 |
p. 111-112 2 p. |
artikel |
|
| 311 | Strictness and totality analysis |
Gasser, Kirsten Lackner Solberg |
1998 |
141-142 | 1 |
p. 113-145 33 p. |
artikel |
|
| 312 | Structural reconfiguration of systems under behavioral adaptation |
Canal, Carlos |
2012 |
141-142 | 1 |
p. 46-64 19 p. |
artikel |
|
| 313 | Structured Systems Analysis through Prolog |
Kay, S. |
1989 |
141-142 | 1 |
p. 125-127 3 p. |
artikel |
|
| 314 | Structuring transformational developments: A case study based on earley's recognizer |
Partsch, H. |
1984 |
141-142 | 1 |
p. 17-44 28 p. |
artikel |
|
| 315 | Supporting ATAM with a collaborative Web-based software architecture evaluation tool |
Maheshwari, Piyush |
2005 |
141-142 | 1 |
p. 109-128 20 p. |
artikel |
|
| 316 | System and software architectures |
Chung, Lawrence |
2005 |
141-142 | 1 |
p. 1-4 4 p. |
artikel |
|
| 317 | System and software solution-oriented architectures |
Chung, Lawrence |
2012 |
141-142 | 1 |
p. 1-3 3 p. |
artikel |
|
| 318 | Systematic derivation of incremental programs |
Liu, Yanhong A. |
1995 |
141-142 | 1 |
p. 1-39 39 p. |
artikel |
|
| 319 | Systematic design of an algorithm for biconnected components |
Madhukar, K. |
1995 |
141-142 | 1 |
p. 63-77 15 p. |
artikel |
|
| 320 | Temporal logic for real-time systems |
Hooman, Jozef |
1991 |
141-142 | 1 |
p. 93-95 3 p. |
artikel |
|
| 321 | Temporal logics and their applications |
Henrik LØvengreen, Hans |
1989 |
141-142 | 1 |
p. 85-87 3 p. |
artikel |
|
| 322 | The (algebraic) congruence of two programming language definitions |
Baker-Finch, Clement A. |
1990 |
141-142 | 1 |
p. 81-96 16 p. |
artikel |
|
| 323 | The artificial intelligence debate: false starts, real foundations |
Pratt, Ian |
1990 |
141-142 | 1 |
p. 97- 1 p. |
artikel |
|
| 324 | The automated transformation of abstract specifications of numerical algorithms into efficient array processor implementations |
Fitzpatrick, Stephen |
1997 |
141-142 | 1 |
p. 1-41 41 p. |
artikel |
|
| 325 | The Claim Tool Kit for ad hoc recognition of peer entities |
Seigneur, Jean-Marc |
2005 |
141-142 | 1 |
p. 49-71 23 p. |
artikel |
|
| 326 | The collected works of J. Richard Büchi |
1991 |
141-142 | 1 |
p. 97- 1 p. |
artikel |
||
| 327 | The design and evaluation of a high-performance smalltalk system |
Wyn Williams, Ifor |
1988 |
141-142 | 1 |
p. 94-95 2 p. |
artikel |
|
| 328 | The design of data structures and algorithms |
Bush, Vicky |
1990 |
141-142 | 1 |
p. 95-97 3 p. |
artikel |
|
| 329 | The emperor's new mind |
Pratt, Ian |
1990 |
141-142 | 1 |
p. 100-111 12 p. |
artikel |
|
| 330 | The formal description technique Estelle |
Milne, Robert E. |
1990 |
141-142 | 1 |
p. 98-100 3 p. |
artikel |
|
| 331 | The formal description technique LOTOS |
Milne, Robert E. |
1990 |
141-142 | 1 |
p. 98- 1 p. |
artikel |
|
| 332 | The gamma model and its discipline of programming |
Banâtre, Jean-Pierre |
1990 |
141-142 | 1 |
p. 55-77 23 p. |
artikel |
|
| 333 | The importance of business process modeling in software systems design |
Barjis, Joseph |
2008 |
141-142 | 1 |
p. 73-87 15 p. |
artikel |
|
| 334 | The interface description language: definition and use. |
Feijs, L.M.G. |
1990 |
141-142 | 1 |
p. 106-109 4 p. |
artikel |
|
| 335 | The little LISPer |
Pratt, Ian |
1988 |
141-142 | 1 |
p. 88-90 3 p. |
artikel |
|
| 336 | The mathematical construction of a program |
Abrial, J.R. |
1984 |
141-142 | 1 |
p. 45-86 42 p. |
artikel |
|
| 337 | The metafront system: Safe and extensible parsing and transformation |
Brabrand, Claus |
2007 |
141-142 | 1 |
p. 2-20 19 p. |
artikel |
|
| 338 | The octahedron abstract domain |
Clarisó, Robert |
2007 |
141-142 | 1 |
p. 115-139 25 p. |
artikel |
|
| 339 | The origin of a binary-search paradigm |
Manna, Zohar |
1987 |
141-142 | 1 |
p. 37-83 47 p. |
artikel |
|
| 340 | The programming process: An introduction using VDM and Pascal |
Walshe, Anne |
1991 |
141-142 | 1 |
p. 92-93 2 p. |
artikel |
|
| 341 | The semantics and execution of a synchronous block-diagram language |
Edwards, Stephen A. |
2003 |
141-142 | 1 |
p. 21-42 22 p. |
artikel |
|
| 342 | The semantics of destructive Lisp. |
Wolczko, Mario |
1989 |
141-142 | 1 |
p. 83-84 2 p. |
artikel |
|
| 343 | The 1st wollongong summer school on the science of programming |
1982 |
141-142 | 1 |
p. 89- 1 p. |
artikel |
||
| 344 | The theory of relational databases |
Adiba, Michel |
1984 |
141-142 | 1 |
p. 95-96 2 p. |
artikel |
|
| 345 | 10th International colloquium on automata, languages, and programming |
1982 |
141-142 | 1 |
p. 87-88 2 p. |
artikel |
||
| 346 | Timewise refinement for communicating processes |
Schneider, Steve |
1997 |
141-142 | 1 |
p. 43-90 48 p. |
artikel |
|
| 347 | Topology via Logic |
Fiore, Marcelo P |
1999 |
141-142 | 1 |
p. 97-99 3 p. |
artikel |
|
| 348 | To use or not to use the goto statement: Programming styles viewed from Hoare Logic |
Kondoh, Hidetaka |
2006 |
141-142 | 1 |
p. 82-116 35 p. |
artikel |
|
| 349 | Toward mobile entertainment: A paradigm for narrative-based audio only games |
Roden, Timothy E. |
2007 |
141-142 | 1 |
p. 76-90 15 p. |
artikel |
|
| 350 | Towards an algebraic specification of code generation |
Berghammer, Rudolf |
1988 |
141-142 | 1 |
p. 45-63 19 p. |
artikel |
|
| 351 | Towards more adequate EIS |
Barjis, Joseph |
2007 |
141-142 | 1 |
p. 1-3 3 p. |
artikel |
|
| 352 | Towards pointer algebra |
Möller, Bernhard |
1993 |
141-142 | 1 |
p. 57-90 34 p. |
artikel |
|
| 353 | Transformation of polynomial evaluation to a pipeline via Horner's rule |
Harrison, Peter G. |
1995 |
141-142 | 1 |
p. 83-95 13 p. |
artikel |
|
| 354 | Two classes of Boolean functions for dependency analysis |
Armstrong, Tania |
1998 |
141-142 | 1 |
p. 3-45 43 p. |
artikel |
|
| 355 | Type inference against races |
Flanagan, Cormac |
2007 |
141-142 | 1 |
p. 140-165 26 p. |
artikel |
|
| 356 | Undulant-block elimination and integer-preserving matrix inversion |
Wise, David S |
1999 |
141-142 | 1 |
p. 29-85 57 p. |
artikel |
|
| 357 | Using FDAF to bridge the gap between enterprise and software architectures for security |
Dai, Lirong |
2007 |
141-142 | 1 |
p. 87-102 16 p. |
artikel |
|
| 358 | Using rewriting techniques to produce code generators and proving them correct |
Despland, Annie |
1990 |
141-142 | 1 |
p. 15-54 40 p. |
artikel |
|
| 359 | Verification and test generation for the SSCOP protocol |
Bozga, Marius |
2000 |
141-142 | 1 |
p. 27-52 26 p. |
artikel |
|
| 360 | Verification of a safety-critical railway interlocking system with real-time constraints |
Hartonas-Garmhausen, Vicky |
2000 |
141-142 | 1 |
p. 53-64 12 p. |
artikel |
|
| 361 | Views of queues |
Broy, Manfred |
1988 |
141-142 | 1 |
p. 65-86 22 p. |
artikel |
|
| 362 | Wait-free algorithms for fast, long-lived renaming |
Moir, Mark |
1995 |
141-142 | 1 |
p. 1-39 39 p. |
artikel |
|
| 363 | What business process modelers can learn from programmers |
Gruhn, Volker |
2007 |
141-142 | 1 |
p. 4-13 10 p. |
artikel |
363 gevonden resultaten