新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

leonardo 2001 [54 articles]

最近 leonardo さんのライブラリに追加された論文の中から タグ 2001. You can also see everyone's 2001.
  • JAVAVIS: Automatic Program Visualization with Object and Sequence Diagrams Using the Java Debug Interface (JDI)
    Software Visualization (2002), pp. 672-675.
    by Rainer Oechsle, Thomas Schmitt
    posted to 2001 jdi program_visualization by leonardo on 2008-03-13 18:31:05 as **
  • An Algorithmic Framework for Visualizing Statecharts
    Graph Drawing (2001), pp. 43-44.
    by Rodolfo Castelló, Rym Mili, Ioannis G Tollis
    posted to 2001 framework statecharts visualization by leonardo on 2008-03-11 03:11:28 as ***
  • Formalization of UML-Statecharts
    «UML» 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools (2001), pp. 406-421.
    by Michael von der Beeck
    posted to 2001 formal _hardcopy semantics statecharts uml by leonardo on 2008-03-11 03:09:16 as ****
  • Representing Agent Interaction Protocols in UML
    Agent-Oriented Software Engineering (2001), pp. 201-218.
    by James Odell, Van Dyke, Bernhard Bauer
    posted to 2001 agents statecharts uml by leonardo on 2008-03-11 03:05:56 as **
  • Testing Transition Systems: An Annotated Bibliography
    Modeling and Verification of Parallel Processes (2001), pp. 187-195.
    by Ed Brinksma, Jan Tretmans
    posted to 2001 annotated_bibliography lts test by leonardo on 2008-03-11 03:04:18 as **
  • Generalised Object-Oriented Concepts for Inter-agent Communication
    Intelligent Agents VII Agent Theories Architectures and Languages (2001), pp. 339-343.
    by Rogier van Eijk, Frank S de Boer, Wiebe van der Hoek, John J Meyer
    posted to 2001 agents communication object by leonardo on 2008-03-11 03:02:40 as ***
  • Checking General Safety Criteria on UML Statecharts
    Computer Safety, Reliability and Security (2001), pp. 46-55.
    by Zsigmond Pap, István Majzik, András Pataricza
    posted to 2001 safety statecharts uml by leonardo on 2008-03-11 01:11:56 as **
  • A Design Pattern for State Machines and Concurrent Activities
    Reliable SoftwareTechnologies — Ada-Europe 2001 (2001), pp. 203-214.
    by Bo Sandén
    posted to 2001 design_patterns statecharts by leonardo on 2008-03-10 00:10:18 as ****
  • iState: A Statechart Translator
    «UML» 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools (2001), pp. 376-390.
    by Emil Sekerinski, Rafik Zurob
    posted to 2001 statecharts by leonardo on 2008-03-05 02:03:16 as **
  • Refactoring UML Models
    «UML» 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools (2001), pp. 134-148.
    by Gerson Sunyé, Damien Pollet, Yves Le Traon, Jean M Jézéquel
    posted to 2001 refactoring uml by leonardo on 2008-03-04 13:20:08 as *****
  • Statecharts: From Visual Syntax to Model-Theoretic Semantics
    (2001), pp. 615-621.
    by Gerald Lüttgen, Michael Mendler
    posted to 2001 semantics statecharts by leonardo on 2008-01-24 21:37:56 as **
  • On metamodel composition
    Control Applications, 2001. (CCA '01). Proceedings of the 2001 IEEE International Conference on (2001), pp. 756-760.
    by Ákos Lédeczi, Greg Nordstrom, Gábor Karsai, Péter Völgyesi, Miklós Maróti
    posted to 2001 composition metamodel by leonardo on 2007-12-21 21:59:14 as **** along with 1 person RalfMitschke
  • An empirical evaluation of statistical testing designed from UML state diagrams: the flight guidance system case study
    Software Reliability Engineering, 2001. ISSRE 2001. Proceedings. 12th International Symposium on (2001), pp. 254-263.
    by P Chevalley, Thevenod P Fosse
    posted to 2001 empirical statecharts statistical tests uml by leonardo on 2007-12-18 11:24:49 as **
  • Verification of ASM Refinements Using Generalized Forward Simulation
    J. UCS, Vol. 7, No. 11. (2001), pp. 952-979.
    by Gerhard Schellhorn
    posted to 2001 asm _no_doi refinement by leonardo on 2007-12-08 23:26:50 as ****
  • Behavioral Constraints for Visual Models
    Electronic Notes in Theoretical Computer Science, Vol. 50, No. 3. (August 2001), pp. 257-265.
    by Reiko Heckel, Jochen M Küster
    posted to 2001 refinement statecharts uml by leonardo on 2007-11-29 12:11:26 as ****
  • A Practical Approach to Object-oriented State Modeling
    Software: Practice and Experience, Vol. 27, No. 3. (1997), pp. 311-328.
    by Maher Awad, Jurgen Ziegler
    posted to 2001 nopdf oop statecharts _to_download_wiley by leonardo on 2007-10-04 14:09:35 as **
  • A test sequence selection method for statecharts
    Software Testing, Verification and Reliability, Vol. 10, No. 4. (2000), pp. 203-227.
    by Hyoung S Hong, Young G Kim, Sung D Cha, Doo H Bae, Hasan Ural
    posted to 2001 statecharts tests by leonardo on 2007-10-04 14:08:52 as **
  • MAS - an interactive synthesizer to support behavioral modeling in UML
    Software Engineering, 2001. ICSE 2001. Proceedings of the 23rd International Conference on (2001), pp. 15-24.
    by E Mlikinen, Tarja Systä
    posted to 2001 statecharts uml by leonardo on 2007-10-02 15:22:05 as **
  • A formal testing framework for UML statechart diagrams behaviours: from theory to automatic verification
    High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on (2001), pp. 11-22.
    by Diego Latella, Mieke Massink
    posted to 2001 equivalence statecharts uml by leonardo on 2007-04-23 02:16:04 as **** along with 1 person scis0000001
  • Automated software engineering using concurrent class machines
    Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on (2001), pp. 297-304.
    by Radu Grosu, YA Liu, S Smolka, SD Stoller, Jingyu Yan
    posted to 2001 refinement statecharts uml by leonardo on 2007-04-23 02:05:46 as ****
  • Inheritance of behavior
    Journal of Logic and Algebraic Programming, Vol. 47, No. 2. ( 2001), pp. 47-145.
    by Twan Basten, Wil M van der Aalst
    posted to 2001 inheritance refinement by leonardo on 2007-04-10 15:44:14 as ****
  • Composition and refinement of behavioral specifications
    Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on (2001), pp. 157-165.
    by D Pavlovic, DR Smith
    posted to refinement 2001 by leonardo on 2007-03-20 12:35:22 as **
  • Automatic layout of statecharts
    Software: Practice and Experience, Vol. 32, No. 1. (2002), pp. 25-55.
    by Rodolfo Castelló, Rym Mili, Ioannis G Tollis
    posted to 2001 nopdf statecharts _to_download_wiley visualization by leonardo on 2007-02-26 23:28:26 as **
  • Feature-oriented programming: A new way of object composition
    Concurrency and Computation: Practice and Experience, Vol. 13, No. 6. (2001), pp. 465-501.
    by Christian Prehofer
    posted to 2001 composition concurrency object by leonardo on 2007-02-26 23:19:32 as **
  • Finite Approximations for Model Checking Non-finite-state Processes
    The Computer Journal, Vol. 44, No. 2. (1 February 2001), pp. 109-123.
    by N De Francesco, Alessandro Fantechi, Stefania Gnesi, P Inverardi
    posted to 2001 model_checking processes by leonardo on 2007-02-09 13:29:11 as **
  • Enhanced operational semantics: a tool for describing and analyzing concurrent systems
    ACM Comput. Surv., Vol. 33, No. 2. (June 2001), pp. 135-176.
    by Pierpaolo Degano, Corrado Priami
    posted to 2001 concurrent_systems sos tool by leonardo on 2007-02-07 18:52:50 as ***
  • Statechart testing method for aircraft control systems
    Software Testing, Verification and Reliability, Vol. 11, No. 1. (2001), pp. 39-54.
    by K Bogdanov, M Holcombe
    posted to 2001 aircraft statecharts tests by leonardo on 2006-10-26 18:01:13 as **
  • Deriving operational semantics from denotational semantics for Verilog
    Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific (2001), pp. 177-184.
    by Zhu Huibiao, Jonathan Bowen, He Jifeng
    posted to 2001 denotational operational semantics verilog by leonardo on 2006-10-16 23:32:08 as ****
  • Slicing Concurrent Java Programs: Issues and Solutions
    (2001)
    by Mangala G Nanda
    posted to 2001 concurrent_systems java slicing _to_review by leonardo on 2006-10-13 19:13:19 as **
  • Refinement and state machine abstraction
    Theoretical Computer Science, Vol. 266, No. 1-2. (6 September 2001), pp. 195-235.
    by Karl Lermer, Paul Strooper
    posted to 2001 refinement statecharts by leonardo on 2006-10-13 14:57:44 as ****
  • Idioms for μ-charts
    Software Engineering Conference, 2001. Proceedings. 2001 Australian (2001), pp. 224-231.
    by G Anderson, Greg Reeve, Steve Reeves
    posted to 2001 _hardcopy mu-charts statecharts by leonardo on 2006-10-10 20:24:34 as ****
  • Roots of Refactoring
    (2001)
    by Jan Philipps, Bernhard Rumpe
    posted to 2001 refactoring refinement by leonardo on 2006-10-09 22:35:40 as ****
  • The immune system as a reactive system: modeling T cell activation with statecharts
    Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on (2001), pp. 15-22.
    by N Kam, Irun R Cohen, David Harel
    posted to 2001 biology statecharts by leonardo on 2006-10-09 13:29:00 as *
  • A structured operational semantics for UML-statecharts
    Software and Systems Modeling, Vol. V1, No. 2. (1 December 2002), pp. 130-141.
    by Michael von der Beeck
    posted to 2001 _hardcopy semantics statecharts uml by leonardo on 2006-10-06 19:17:58 as **
  • Modeling and Analyzing Software Behavior in UML
    No. 34. (2001)
    by I Porres
    posted to 2001 refinement semantics statecharts thesis by leonardo on 2006-09-13 03:21:22 as **
  • Formalization of UML statechart diagrams in the π-calculus
    Software Engineering Conference, 2001. Proceedings. 2001 Australian (2001), pp. 213-223.
    by Vitus SW Lam, J Padget
    posted to 2001 semantics statecharts uml by leonardo on 2006-09-09 22:05:41 as **
  • A Review of Some Rigorous Software Design and Analysis Tools
    Software Focus, Vol. 2, No. 4. (2001), pp. 140-150.
    by Frederick Sheldon, Gaoyan Xie, Orest Pilskalns, Zhihe Zhou
    posted to 2001 formal _hardcopy nopdf review _to_download_wiley tool by leonardo on 2006-08-03 19:18:22 as ***
  • Refinement of actions and equivalence notions for concurrent systems
    Acta Informatica, Vol. 37, No. 4 - 5. (January 2001), pp. 229-327.
    by Rob van Glabbeek, Ursula Goltz
    posted to 2001 concurrent_systems equivalence refinement by leonardo on 2006-07-24 19:42:42 as ***
  • Semantics of UML Statecharts in PVS
    Nordic Workshop on Programming Theory (2000)
    by Demissie B Aredo
    posted to 2001 pvs semantics statecharts uml by leonardo on 2006-04-03 13:14:44 as **
  • Deadlock detection in distribution object systems
    Vol. 26, No. 5. (September 2001), pp. 44-51.
    by Nima Kaveh, Wolfgang Emmerich
    posted to 2001 deadlock distributed_systems by leonardo on 2006-04-03 03:27:16 as **
  • Model checking of hierarchical state machines
    ACM Trans. Program. Lang. Syst., Vol. 23, No. 3. (May 2001), pp. 273-303.
    by Rajeev Alur, Mihalis Yannakakis
    posted to 2001 model_checking statecharts by leonardo on 2006-04-03 03:25:27 as ** along with 1 person fheintz
  • A methodology for specifying and analyzing consistency of object-oriented behavioral models
    Vol. 26, No. 5. (September 2001), pp. 186-195.
    by Gregor Engels, Jochen M Küster, Reiko Heckel, Luuk Groenewegen
    posted to 2001 csp fdr object statecharts umlrt by leonardo on 2006-04-03 02:50:56 as ***
  • Modeling statecharts and activitycharts as signal equations
    ACM Trans. Softw. Eng. Methodol., Vol. 10, No. 4. (October 2001), pp. 397-451.
    by JR Beauvais, E Rutten, T Gautier, R Houdebine, P Le Guernic, YM Tang
    posted to 2001 semantics statecharts by leonardo on 2006-04-03 02:39:08 as **
  • Testing a system specified using Statecharts and Z
    Information and Software Technology, Vol. 43, No. 2. (1 February 2001), pp. 137-149.
    by RM Hierons, S Sadeghipour, H Singh
    posted to 2001 statecharts tests z by leonardo on 2006-04-01 18:14:10 as **
  • Argos: an automaton-based synchronous language
    Computer Languages, Vol. 27, No. 1-3. ( 2001), pp. 61-92.
    by Florence Maraninchi, Yann Remond
    posted to 2001 semantics statecharts by leonardo on 2006-04-01 18:13:30 as **
  • Optimizing symbolic model checking for statecharts
    Software Engineering, IEEE Transactions on, Vol. 27, No. 2. (2001), pp. 170-190.
    by William Chan, Richard J Anderson, Paul Beame, DH Jones, David Notkin, WE Warner
    posted to 2001 model_checking statecharts by leonardo on 2006-04-01 15:41:07 as *
  • Formal verification of Statecharts using finite-state model checkers
    American Control Conference, 2001. Proceedings of the 2001, Vol. 1 (2001), pp. 313-318 vol.1.
    by Qianchuan Zhao, BH Krogh
    posted to 2001 model_checking statecharts verification by leonardo on 2006-04-01 15:33:06 as **
  • Compositional Verification of Quantitative Properties of Statecharts
    J Logic Computation, Vol. 11, No. 6. (1 December 2001), pp. 829-878.
    by Francesca Levi
    posted to 2001 statecharts by leonardo on 2006-04-01 15:17:30 as **
  • Model checking UML statecharts
    Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific (2001), pp. 363-370.
    by Wei Dong, Ji Wang, Xuan Qi, Zhi C Qi
    posted to 2001 model_checking statecharts uml by leonardo on 2006-03-03 14:34:51 as **
  • The structure of scientific collaboration networks.
    Proc Natl Acad Sci U S A, Vol. 98, No. 2. (16 January 2001), pp. 404-409.
    by ME Newman
    posted to 2001 socialnetwork by leonardo on 2006-02-06 15:41:05 as ** along with 13 people and 6 groups camster korakot magnusenger PatrickD cmmorel yoh eyliu cristinaalp fwkroon gcalda ltabourier karipuf scuffster Philosophy_of_Information dbk-lab DocSci Blog_and_Wiki_Research Wikipedia OpenArchive
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/leonardo/tag/2001

    Result page: 1 2 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.