registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

leonardos library [1743 articles]

Neue Artikel in leonardos Bibliothek.
  • Development of Fault Tolerant Grid Applications Using Distributed B
    Integrated Formal Methods (2005), pp. 167-186.
    by Pontus Boström, Marina Waldén
    posted to no-tag by leonardo on 2008-09-03 19:49:28 as **
  • An Integrated Framework for Scenarios and State Machines
    Integrated Formal Methods (2005), pp. 366-385.
    by Bikram Sengupta, Rance Cleaveland
    posted to no-tag by leonardo on 2008-09-03 19:47:40 as **
  • Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse
    Models in Software Engineering (2008), pp. 194-205.
    by Emine Aydal, Richard Paige, Jim Woodcock
    posted to no-tag by leonardo on 2008-09-03 18:44:38 as **
  • A small model theorem for bisimilarity control under partial observation
    American Control Conference, 2005. Proceedings of the 2005 (2005), pp. 3937-3942 vol. 6.
    by Changyan Zhou, Ratnesh Kumar
    posted to no-tag by leonardo on 2008-09-02 02:28:33 as **
  • Towards a Small Model Theorem for Data Independent Systems in Alloy
    Electronic Notes in Theoretical Computer Science, Vol. 128, No. 6. (23 May 2005), pp. 37-52.
    by Lee Momtahan
    posted to small_model data_independence alloy _hardcopy 2005 by leonardo on 2008-09-01 23:28:45 as **
  • Assertions: a personal perspective
    IEEE Ann. Hist. Comput., Vol. 25, No. 2. (2003), pp. 14-25.
    by CAR Hoare
    posted to no-tag by leonardo on 2008-09-01 21:38:10 as **
  • Assigning meanings to programs
    (1967), pp. 19-32.
    by Robert W Floyd
    posted to hoare classic 1967 by leonardo on 2008-09-01 21:36:55 as **
  • Integrating System and Software Engineering Through Modeling
    Aerospace Conference, 2008 IEEE (2008), pp. 1-12.
    by J Mindock, G Watney
    posted to no-tag by leonardo on 2008-09-01 15:59:21 as **
  • Ten Years of Hoare's Logic: A Survey---Part I
    ACM Trans. Program. Lang. Syst., Vol. 3, No. 4. (1981), pp. 431-483.
    by Krzysztof R Apt
    posted to years_later hoare 1981 by leonardo on 2008-09-01 15:32:36 as **
  • Refinement and verification in component-based model driven design
    Science of Computer Programming, Vol. In Press, Accepted Manuscript (2009)
    by Zhenbang Chen, Zhiming Liu, Anders P Ravn, Volker Stolz, Naijun Zhan
    posted to no-tag by leonardo on 2008-09-01 15:23:07 as **
  • Towards an integrated graph-based semantics for UML
    Software and Systems Modeling (2009)
    by Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann
    posted to no-tag by leonardo on 2008-09-01 14:53:00 as **
  • Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
    Theoretical Aspects of Computing - ICTAC 2008 (2008), pp. 305-318.
    by Vahid Rafe, Adel Rahmani
    posted to no-tag by leonardo on 2008-09-01 14:52:13 as **
  • UML behavioral consistency checking using instantiable Petri nets
    Innovations in Systems and Software Engineering
    by Yann Thierry-Mieg, Lom-Messan Hillah
    posted to no-tag by leonardo on 2008-09-01 14:52:00 as **
  • Implementing Social Filter Rules in a Dialogue Manager Using Statecharts
    Intelligent Virtual Agents (2008), pp. 474-475.
    by Jenny Brusk
    posted to no-tag by leonardo on 2008-09-01 14:51:20 as **
  • Suggestions on Pattern Transformation in UML-RT
    icsea, Vol. 0 (2007)
    by Yifeng Sun, David Levy
    posted to no-tag by leonardo on 2008-08-29 17:33:17 as **
  • An axiomatic definition of the programming language PASCAL
    Acta Informatica, Vol. 2, No. 4. (1 December 1973), pp. 335-355.
    by CAR Hoare, N Wirth
    posted to no-tag by leonardo on 2008-08-28 15:44:09 as **
  • An axiomatic basis for computer programming
    Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580.
    by CAR Hoare
    posted to hoare classic _hardcopy 1969 by leonardo on 2008-08-28 15:02:56 as **** along with 10 people and 5 groups rwtodd dsilva jff jbrown rgb calvins flavian_vasile _Anne_ bfraser zuleger Crypto GraphTheory pileWorks Foundations-of-Programming TMC
  • Teaching Software Architecture Design
    Software Architecture, 2008. WICSA 2008. Seventh Working IEEE/IFIP Conference on (2008), pp. 117-124.
    by T Mannisto, J Savolainen, V Myllarniemi
    posted to 2008 _marcia software_architecture teaching by leonardo on 2008-08-27 15:09:20 as **
  • Beginnings and endings: keys to better engineering technical writing
    Professional Communication, IEEE Transactions on, Vol. 40, No. 4. (1997), pp. 299-304.
    by MM Pierson, BL Pierson
    posted to no-tag by leonardo on 2008-08-24 15:52:18 as ** along with 1 person germoglio
  • Publish and perish: why the current publication and review model is killing research and wasting your money
    Ubiquity, Vol. 8, No. 3. (2007), pp. 1-1.
    by Fabio Casati, Fausto Giunchiglia, Maurizio Marchese
    posted to no-tag by leonardo on 2008-08-20 17:46:39 as ** along with 1 person germoglio
  • A Systematic Approach for Integrating Fault Trees into System Statecharts
    Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International (2008), pp. 120-123.
    by Omar E Ariss, Dianxiang Xu, Eric W Wong, Yuting Chen, Yann-Hang Lee
    posted to no-tag by leonardo on 2008-08-20 15:33:49 as **
  • On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols
    Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International (2008), pp. 937-942.
    by KR Jayaram, Aditya P Mathur
    posted to no-tag by leonardo on 2008-08-20 15:33:43 as **
  • Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach
    qsic, Vol. 0 (2007), pp. 356-362.
    by Farid Mokhati, Patrice Gagnon, Mourad Badri
    posted to no-tag by leonardo on 2008-08-20 15:28:17 as **
  • Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance
    Secure System Integration and Reliability Improvement, 2008. SSIRI '08. Second International Conference on (2008), pp. 47-51.
    by Doron Drusinsky, James B Michael, Thomas W Otani, Man-Tak Shing
    posted to no-tag by leonardo on 2008-08-20 15:25:11 as **
  • Introduction to special issue: papers from UML&FM
    Innovations in Systems and Software Engineering
    by Jean-Michel Bruel, Agusti Canals, Sébastien Gérard, Isabelle Perseil
    posted to no-tag by leonardo on 2008-08-20 14:59:27 as **
  • Incremental development of UML specifications using operation refinements
    Innovations in Systems and Software Engineering
    by Boulbaba Ben Ammar, Mohamed Bhiri, Jeanine Souquières
    posted to no-tag by leonardo on 2008-08-20 14:59:03 as **
  • An MDE-based method for bridging different design notations
    Innovations in Systems and Software Engineering
    by Tian Zhang, Frédéric Jouault, Jean Bézivin, Xuandong Li
    posted to no-tag by leonardo on 2008-08-20 14:58:44 as **
  • Model transformation by example using inductive logic programming
    Software and Systems Modeling
    by Zoltán Balogh, Dániel Varró
    posted to no-tag by leonardo on 2008-08-20 14:56:08 as **
  • Extending statecharts with process algebra operators
    Innovations in Systems and Software Engineering
    by Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis
    posted to 2008 process_algebra statecharts by leonardo on 2008-08-20 14:55:13 as **
  • An incremental development of the Mondex system in Event-B
    Formal Aspects of Computing, Vol. 20, No. 1. (24 January 2008), pp. 61-77.
    by Michael Butler, Divakar Yadav
    posted to no-tag by leonardo on 2008-08-08 22:28:49 as **
  • Formalisms in Software Engineering: Myths Versus Empirical Facts
    Balancing Agility and Formalism in Software Engineering (2008), pp. 13-25.
    by Dieter Rombach, Frank Seelisch
    posted to no-tag by leonardo on 2008-08-05 11:03:38 as **
  • UML Static Models in Formal Approach
    Balancing Agility and Formalism in Software Engineering (2008), pp. 129-142.
    by Marcin Szlenk
    posted to no-tag by leonardo on 2008-08-05 11:03:12 as **
  • Agile Software Development at Scale
    Balancing Agility and Formalism in Software Engineering (2008), pp. 1-12.
    by Scott Ambler
    posted to no-tag by leonardo on 2008-08-05 10:38:33 as **
  • <I>SwingStates</I>: adding state machines to Java and the Swing toolkit
    Software: Practice and Experience, Vol. 38, No. 11. (2008), pp. 1149-1182.
    by C Appert, M Beaudouin-Lafon
    posted to no-tag by leonardo on 2008-08-04 21:34:58 as **
  • Towards Validating a Platoon of Cristal Vehicles Using CSP||B
    Algebraic Methodology and Software Technology (2008), pp. 139-144.
    by Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
    posted to no-tag by leonardo on 2008-08-01 12:02:14 as **
  • An asynchronous communication model for distributed concurrent objects
    Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on (2004), pp. 188-197.
    by EB Johnsen, O Owe
    posted to no-tag by leonardo on 2008-07-28 22:15:33 as **
  • Components, objects, and contracts
    (2007), pp. 95-98.
    by Olaf Owe, Gerardo Schneider, Martin Steffen
    posted to no-tag by leonardo on 2008-07-26 20:07:37 as ** along with 1 person fabricioaf
  • Towards a calculus for UML-RT specifications
    (1998)
    by R Grosu, M Broy, B Selic, G Stefanescu
    posted to no-tag by leonardo on 2008-07-26 19:44:23 as **
  • Polyphony in Architecture
    icse, Vol. 0 (2004), pp. 533-542.
    by Bas van der Raadt, Jasper Soetendal, Michiel Perdeck, Hans van Vliet
    posted to 2004 _marcia by leonardo on 2008-07-22 19:26:23 as **
  • Completeness of ASM Refinement
    Electronic Notes in Theoretical Computer Science, Vol. 214 (28 June 2008), pp. 25-49.
    by Gerhard Schellhorn
    posted to no-tag by leonardo on 2008-07-22 18:33:12 as **
  • An aspect-oriented methodology for designing secure applications
    Information and Software Technology, Vol. In Press, Corrected Proof
    by Geri Georg, Indrakshi Ray, Kyriakos Anastasakis, Behzad Bordbar, Manachai Toahchoodee, Siv H Houmb
    posted to no-tag by leonardo on 2008-07-22 18:32:55 as **
  • General Refinement, Part Two: Flexible Refinement
    Electronic Notes in Theoretical Computer Science, Vol. 214 (28 June 2008), pp. 309-329.
    by Steve Reeves, David Streader
    posted to no-tag by leonardo on 2008-07-22 18:29:31 as **
  • Copying Subgraphs Within Model Repositories
    Electronic Notes in Theoretical Computer Science, Vol. 211 (28 April 2008), pp. 133-145.
    by Pieter Van Gorp, Hans Schippers, Dirk Janssens
    posted to no-tag by leonardo on 2008-07-22 18:23:57 as **
  • Experimenting Formal Proofs of Petri Nets Refinements
    Electronic Notes in Theoretical Computer Science, Vol. 214 (28 June 2008), pp. 231-254.
    by Christine Choppy, Micaela Mayero, Laure Petrucci
    posted to no-tag by leonardo on 2008-07-22 18:21:39 as **
  • General Refinement, Part One: Interfaces, Determinism and Special Refinement
    Electronic Notes in Theoretical Computer Science, Vol. 214 (28 June 2008), pp. 277-307.
    by Steve Reeves, David Streader
    posted to no-tag by leonardo on 2008-07-22 18:16:25 as **
  • Alloy as a Refactoring Checker?
    Electronic Notes in Theoretical Computer Science, Vol. 214 (28 June 2008), pp. 331-357.
    by H-Christian Estler, Heike Wehrheim
    posted to 2008 alloy checker _hardcopy refactoring by leonardo on 2008-07-22 18:12:01 as *****
  • Linking Event-B and Concurrent Object-Oriented Programs
    Electronic Notes in Theoretical Computer Science, Vol. 214 (28 June 2008), pp. 159-182.
    by Andrew Edmunds, Michael Butler
    posted to no-tag by leonardo on 2008-07-22 18:09:53 as **
  • Automated traceability analysis for UML model refinements
    Information and Software Technology, Vol. In Press, Corrected Proof (2008)
    by Lionel C Briand, Yvan Labiche, Tao Yue
    posted to no-tag by leonardo on 2008-07-22 18:09:18 as **
  • The role of modelling in achieving information systems success: UML to the rescue?
    Information Systems Journal, Vol. 9999, No. 9999. (2008)
    by Tor J Larsen, Fred Niederman, Moez Limayem, Joyce Chan
    posted to no-tag by leonardo on 2008-07-21 16:37:00 as **
  • A Scalable Multilevel Algorithm for Graph Clustering and Community Structure Detection
    Algorithms and Models for the Web-Graph (2008), pp. 117-128.
    by Hristo Djidjev
    posted to no-tag by leonardo on 2008-07-21 16:23:04 as **
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/leonardo

    Result page: 1 2 3 4 5 6 7 8 9 10 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.