Search dblp for Publications

export results for "toc:db/journals/sosym/sosym3.bht:"

 download as .bib file

@article{DBLP:journals/sosym/BottoniM04,
  author       = {Paolo Bottoni and
                  Mark Minas},
  title        = {Introductory paper},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {2},
  pages        = {83--84},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-003-0049-3},
  doi          = {10.1007/S10270-003-0049-3},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/BottoniM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/Brown04,
  author       = {Alan W. Brown},
  title        = {Model driven architecture: Principles and practice},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {4},
  pages        = {314--327},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-004-0061-2},
  doi          = {10.1007/S10270-004-0061-2},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Brown04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/CengarleK04,
  author       = {Mar{\'{\i}}a Victoria Cengarle and
                  Alexander Knapp},
  title        = {{OCL} 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {1},
  pages        = {9--30},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-003-0035-9},
  doi          = {10.1007/S10270-003-0035-9},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/CengarleK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/Chan04,
  author       = {Christine W. Chan},
  title        = {Knowledge and software modeling using {UML}},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {4},
  pages        = {294--302},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-004-0057-y},
  doi          = {10.1007/S10270-004-0057-Y},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Chan04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/DongAC04,
  author       = {Jing Dong and
                  Paulo S. C. Alencar and
                  Donald D. Cowan},
  title        = {A behavioral analysis and verification approach to pattern-based design
                  composition},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {4},
  pages        = {262--272},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-004-0056-z},
  doi          = {10.1007/S10270-004-0056-Z},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/DongAC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/EhrigOBKP04,
  author       = {Hartmut Ehrig and
                  Fernando Orejas and
                  Benjamin Braatz and
                  Markus Klein and
                  Martti Piirainen},
  title        = {A component framework for system modeling based on high-level replacement
                  systems},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {2},
  pages        = {114--135},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-003-0043-9},
  doi          = {10.1007/S10270-003-0043-9},
  timestamp    = {Mon, 13 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/EhrigOBKP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/ErmelB04,
  author       = {Claudia Ermel and
                  Roswitha Bardohl},
  title        = {Scenario animation for visual behavior models: {A} generic approach},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {2},
  pages        = {164--177},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-003-0048-4},
  doi          = {10.1007/S10270-003-0048-4},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/ErmelB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/FlowerHT04,
  author       = {Jean Flower and
                  John Howse and
                  John Taylor},
  title        = {Nesting in Euler Diagrams: syntax, semantics and construction},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {1},
  pages        = {55--67},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-003-0036-8},
  doi          = {10.1007/S10270-003-0036-8},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/FlowerHT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/FranceR04,
  author       = {Robert B. France and
                  Bernhard Rumpe},
  title        = {In search of effective design abstractions},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {1},
  pages        = {1--3},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-004-0052-3},
  doi          = {10.1007/S10270-004-0052-3},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/FranceR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/FranceR04a,
  author       = {Robert B. France and
                  Bernhard Rumpe},
  title        = {Assessing model quality},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {3},
  pages        = {179--180},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-004-0068-8},
  doi          = {10.1007/S10270-004-0068-8},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/FranceR04a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/FranceR04b,
  author       = {Robert B. France and
                  Bernhard Rumpe},
  title        = {SoSyM at three},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {4},
  pages        = {255--257},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-004-0075-9},
  doi          = {10.1007/S10270-004-0075-9},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/FranceR04b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/GrunbacherEM04,
  author       = {Paul Gr{\"{u}}nbacher and
                  Alexander Egyed and
                  Nenad Medvidovic},
  title        = {Reconciling software requirements and architectures with intermediate
                  models},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {3},
  pages        = {235--253},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-003-0038-6},
  doi          = {10.1007/S10270-003-0038-6},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/GrunbacherEM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/HausmannHS04,
  author       = {Jan Hendrik Hausmann and
                  Reiko Heckel and
                  Stefan Sauer},
  title        = {Dynamic Meta Modeling with time: Specifying the semantics of multimedia
                  sequence diagrams},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {3},
  pages        = {181--193},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-003-0045-7},
  doi          = {10.1007/S10270-003-0045-7},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/HausmannHS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/Jacobson04,
  author       = {Ivar Jacobson},
  title        = {Use cases - Yesterday, today, and tomorrow},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {3},
  pages        = {210--220},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-004-0060-3},
  doi          = {10.1007/S10270-004-0060-3},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Jacobson04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/JinEJ04,
  author       = {Yan Jin and
                  Robert Esser and
                  J{\"{o}}rn W. Janneck},
  title        = {A method for describing the syntax and semantics of {UML} statecharts},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {2},
  pages        = {150--163},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-003-0046-6},
  doi          = {10.1007/S10270-003-0046-6},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/JinEJ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/Kobryn04,
  author       = {Cris Kobryn},
  title        = {{UML} 3.0 and the future of modeling},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {1},
  pages        = {4--8},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-004-0051-4},
  doi          = {10.1007/S10270-004-0051-4},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Kobryn04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/LaraVA04,
  author       = {Juan de Lara and
                  Hans Vangheluwe and
                  Manuel Alfonseca},
  title        = {Meta-modelling and graph grammars for multi-paradigm modelling in
                  AToM\({}^{\mbox{3}}\)},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {3},
  pages        = {194--209},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-003-0047-5},
  doi          = {10.1007/S10270-003-0047-5},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/LaraVA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/NicklasM04,
  author       = {Daniela Nicklas and
                  Bernhard Mitschang},
  title        = {On building location aware applications using an open platform based
                  on the {NEXUS} Augmented World Model},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {4},
  pages        = {303--313},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-004-0055-0},
  doi          = {10.1007/S10270-004-0055-0},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/NicklasM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/Prehofer04,
  author       = {Christian Prehofer},
  title        = {Plug-and-play composition of features and feature interactions with
                  statechart diagrams},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {3},
  pages        = {221--234},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-003-0040-z},
  doi          = {10.1007/S10270-003-0040-Z},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Prehofer04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/RossiEG04,
  author       = {Carlos Rossi and
                  Manuel Enciso and
                  Inmaculada Perez de Guzm{\'{a}}n},
  title        = {Formalization of {UML} state machines using temporal logic},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {1},
  pages        = {31--54},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-003-0029-7},
  doi          = {10.1007/S10270-003-0029-7},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/RossiEG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/SpanoudakisK04,
  author       = {George Spanoudakis and
                  Hyoseob Kim},
  title        = {Supporting the reconciliation of models of object behaviour},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {4},
  pages        = {273--293},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-004-0054-1},
  doi          = {10.1007/S10270-004-0054-1},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/SpanoudakisK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/SwobodaA04,
  author       = {Nik Swoboda and
                  Gerard Allwein},
  title        = {Using {DAG} transformations to verify Euler/Venn homogeneous and Euler/Venn
                  {FOL} heterogeneous rules of inference},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {2},
  pages        = {136--149},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-003-0044-8},
  doi          = {10.1007/S10270-003-0044-8},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/SwobodaA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/Varro04,
  author       = {D{\'{a}}niel Varr{\'{o}}},
  title        = {Automated formal verification of visual modeling languages by model
                  checking},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {2},
  pages        = {85--113},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-003-0050-x},
  doi          = {10.1007/S10270-003-0050-X},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Varro04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/VittoriniIMF04,
  author       = {Valeria Vittorini and
                  Mauro Iacono and
                  Nicola Mazzocca and
                  Giuliana Franceschinis},
  title        = {The OsMoSys approach to multi-formalism modeling of systems},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {1},
  pages        = {68--81},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-003-0039-5},
  doi          = {10.1007/S10270-003-0039-5},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/VittoriniIMF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/WangP04,
  author       = {Yingxu Wang and
                  Shushma Patel},
  title        = {Guest editorial: On Modeling Object-Oriented Information Systems},
  journal      = {Softw. Syst. Model.},
  volume       = {3},
  number       = {4},
  pages        = {258--261},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10270-004-0053-2},
  doi          = {10.1007/S10270-004-0053-2},
  timestamp    = {Tue, 02 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/WangP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.