David Harel - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged sequence diagrams

Aspect-enhanced goal-driven sequence diagramJonathan Lee, Chia-Ling Wu, Wen-Tin Lee, Kuo-Hsun Hsu. ijis, 25(8):712-732, 2010. [doi]

Extracting Sequence Diagrams from Execution Traces Using Interactive VisualizationHassen Grati, Houari A. Sahraoui, Pierre Poulin. WCRE 2010: 87-96 [doi]

Debugging Concurrent Software: A Study Using Multithreaded Sequence DiagramsScott D. Fleming, Eileen Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon. vl 2010: 33-40 [doi]

Extending the UML Metamodel for Sequence Diagram to Enhance Model TraceabilityMohammed Misbhauddin, Mohammad Alshayeb. icsea 2010: 129-134 [doi]

User interface specification with sequence diagrams: an application to the AIRBUS A380 Datalink systemAnne-Elodie Monin, John Dowell. ctw, 11(4):267-277, 2009. [doi]

Monitoring Composite Services with Universal Modal Sequence DiagramsWenrui Li, Zhijian Wang. apsec 2009: 69-76 [doi]

From sequence diagrams to Java-stairs aspectsJon Oldevik, Øystein Haugen. AOSD 2009: 99-110 [doi]

Assert and negate revisited: Modal semantics for UML sequence diagramsDavid Harel, Shahar Maoz. SoSyM, 7(2):237-252, 2008. [doi]

Characterizing Communication Channel Deadlocks in Sequence DiagramsBill Mitchell. TSE, 34(3):305-320, 2008. [doi]

AMIDA: a sequence diagram extraction toolkit supporting automatic phase detectionTakashi Ishio, Yui Watanabe, Katsuro Inoue. ICSE 2008: 969-970 [doi]

Ambiguity and structural properties of basic sequence diagramsChristophe Sibertin-Blanc, Nabil Hameurlain, Omar Tahir. isse, 4(3):275-284, 2008. [doi]

Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experimentsShaohua Xie, Eileen Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon, Scott D. Fleming. softvis 2008: 9-18 [doi]

Transforming UML Sequence Diagrams to Class DiagramsYen-Chieh Huang, Chih-Ping Chu. dmsn 2008: 136-139

S2A: A Compiler for Multi-modal UML Sequence DiagramsDavid Harel, Asaf Kleinbort, Shahar Maoz. FASE 2007: 121-124 [doi]

Aspects of Anatomical and Chronological Sequence Diagrams in Software-Supported Emergency Care Patient Report FormsFranz Waldher, Jürgen Thierry, Simon Grasser. mobileresponse 2008: 9-18 [doi]

Describing Use-Case Relationships with Sequence DiagramsJesús Manuel Almendros-Jiménez, Luis Iribarne. cj, 50(1):116-128, 2007. [doi]

Generation of Pack Instruction Sequence for Media Processors Using Multi-Valued Decision DiagramHiroaki Tanaka, Yoshinori Takeuchi, Keishi Sakanushi, Masaharu Imai, Hiroki Tagawa, Yutaka Ota, Nobu Matsumoto. ieicet, 90-A(12):2800-2809, 2007. [doi]

Quality Dependencies Among Use Case Models and Sequence Diagrams Developed by Novice Systems AnalystsNarasimha Bolloju, Vijayan Sugumaran. er 2007: 96-105 [doi]

Understanding people motion in video sequences using Voronoi diagramsJulio Cezar Silveira Jacques Jr., Adriana Braun, John Soldera, Soraia Raupp Musse, Cláudio Rosito Jung. paa, 10(4):321-332, 2007. [doi]

Deriving Prototypes from UML 2.0 Sequence DiagramsZbigniew Huzar, Grzegorz Loniewski. cisim 2007: [doi]

Assert and negate revisited: modal semantics for UML sequence diagramsDavid Harel, Shahar Maoz. scesm 2006: 13-20 [doi]

Underspecification, Inherent Nondeterminism and Probability in Sequence DiagramsAtle Refsdal, Ragnhild Kobro Runde, Ketil Stølen. fmoods 2006: 138-155 [doi]

Toward diagrammability and efficiency in event-sequence languagesKathi Fisler. STTT, 8(4-5):431-447, 2006. [doi]

Detecting and resolving semantic pathologies in UML sequence diagramsPaul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson, Bill Mitchell, Simon Burton. ESEC/FSE 2005: 50-59 [doi]

Combining Sequence Diagrams and OCL for LivenessAlessandra Cavarra, Juliana Küster Filipe. ENTCS, 115:19-38, 2005. [doi]

Specification and Refinement of Soft Real-Time Requirements Using Sequence DiagramsAtle Refsdal, Knut Eilif Husa, Ketil Stølen. formats 2005: 32-48 [doi]

Formalizing Liveness-Enriched Sequence Diagrams Using ASMsAlessandra Cavarra, Juliana Küster Filipe. asmta 2004: 62-77 [doi]

Sequence diagram presentation in technical documentationGary Bist, Neil MacKinnon, Steve Murphy. sigdoc 2004: 128-133 [doi]

Node deletion sequences in influence diagrams using genetic algorithmsManuel Gómez, Concha Bielza. sac, 14(3):181-198, 2004. [doi]

A UML Sequence Diagram Extension to Handle MultiplicitiesGerardo Padilla, Miguel A. Serrano, Carlos Montes de Oca. enc 2004: 80-87 [doi]

Supporting the iterative development of sequence diagrams and statechartsHideo Hasegawa, Shingo Takada, Norihisa Doi. iastedSEA 2004: 736-742

Synthesizing statecharts through sequence diagrams analysisWang Hongyuan, Zhang Ke, Feng Tie, Che Haiyan, Zheng Yinshi. iastedSEA 2004: 617-622

How to Draw a Sequence DiagramTimo Poranen, Erkki Mäkinen, Jyrki Nummenmaa. splst 2003: 91-102

Towards Diagrammability and Efficiency in Event Sequence LanguagesKathi Fisler. charme 2003: 185-199 [doi]

Partial Order Semantics of Sequence Diagrams for MobilityPiotr Kosiuczenko. Dagstuhl 2005: 212-227 [doi]

Sequence Diagrams for MobilityPiotr Kosiuczenko. er 2002: 147-158 [doi]

Evaluating Using Animation to Improve Understanding of Sequence DiagramsElizabeth Burd, Dawn Overy, Ady Wheetman. IWPC 2002: 107-113 [doi]

Sequences of n-DiagramsValentina S. Harizanov, Julia F. Knight, Andrei S. Morozov. JSYML, 67(3):1227-1247, 2002.

From UML sequence diagrams and statecharts to analysable petrinet modelsSimona Bernardi, Susanna Donatelli, José Merseguer. wosp 2002: 35-45 [doi]

Extending Agent UML Sequence DiagramsMarc-Philippe Huget. aose 2003: 150-161 [doi]

Generating Structured Implementation Schemes from UML Sequence DiagramsPetri Selonen, Tarja Systä, Kai Koskimies. TOOLS 2001: 317-330 [doi]

From MSC-2000 to UML 2.0 - The Future of Sequence DiagramsØystein Haugen. sdl 2001: 38-51 [doi]

Executing Diagram SequencesJoe Thurbon. diagrams 2000: 392-406 [doi]

Translating Use Cases to Sequence DiagramsLiwu Li. ASE 2000: 293-296 [doi]

A Sequence of Generalized Coordinate Systems Based on Voronoi Diagrams and Its Application to InterpolationHisamoto Hiyoshi, Kokichi Sugihara. gmp 2000: 129-137 [doi]

Generative Sequence Diagrams with Textual AnnotationsThomas Gehrke, Thomas Firley. fbt 1999: 65-72

Extension of UML Sequence Diagrams for Real-Time SystemsJochen Seemann, Jürgen Wolff von Gudenberg. uml 1999: 240-252

Phase Diagram and Storage Capacity of Sequence-Storing Neural NetworksA. Düring, Anthony C. C. Coolen, D. Sherrington. nips 1999: 211-217 [doi]

Modelling Discrete Event Sequences as State Transition DiagramsAdele E. Howe, Gabriel Somlo. ida 1997: 573-584 [doi]

Colorings of diagrams of interval orders and alpha-sequences of setsStefan Felsner, William T. Trotter. DM, 144(1-3):23-31, 1995. [doi]

runs on WebDSL