|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1365 occurrences of 819 keywords
|
|
|
Results
Found 1265 publication records. Showing 1265 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
8 | Damien Wilmann, Leon Sterling |
Guiding agent-oriented requirements elicitation: HOMER. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Fifth International Conference on Quality Software (QSIC 2005), 19-20 September 2005, Melbourne, Australia, pp. 419-424, 2005, IEEE Computer Society, 0-7695-2472-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Norbert E. Fuchs, Stefan Höfler, Kaarel Kaljurand, Fabio Rinaldi 0001, Gerold Schneider |
Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web, First International Summer School 2005, Msida, Malta, July 25-29, 2005, Tutorial Lectures, pp. 213-250, 2005, Springer, 3-540-27828-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Christopher Cheong, Michael Winikoff |
Hermes: Designing Goal-Oriented Agent Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSE ![In: Agent-Oriented Software Engineering VI, 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers, pp. 16-27, 2005, Springer, 3-540-34097-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Huiqun Yu, Dongmei Liu, Xudong He, Li Yang 0001, Shu Gao |
Secure Software Architectures Design by Aspect Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 47-55, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
security, Software architecture, formal method, aspect orientation, SAM |
8 | Xiang Xue |
A Formal Specification Constructing Tool for SOFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 12-13, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Maarten H. van Emden |
On the Significance of Digits in Interval Notation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 10(1), pp. 45-58, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Sven Burmester, Holger Giese, Jörg Niere, Matthias Tichy, Jörg P. Wadsack, Robert Wagner 0002, Lothar Wendehals, Albert Zündorf |
Tool integration at the meta-model level: the Fujaba approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 6(3), pp. 203-218, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Tool coupling, Meta-Model Extension, Meta-Model Integration, Consistency, Patterns |
8 | Sascha Konrad, Betty H. C. Cheng, Laura A. Campbell |
Object Analysis Patterns for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(12), pp. 970-992, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
object analysis, model checking, embedded systems, formal specification, requirements, conceptual modeling, patterns, Object-oriented modeling |
8 | Fernando Berzal Galiano, Diomidis Spinellis |
Bookshelf. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 21(3), pp. 104-105, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Stefan Hallerstede, Michael J. Butler |
Performance analysis of probabilistic action systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 16(4), pp. 313-331, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Trace refinement, Simulation, Markov decision process |
8 | Robert Godfrey Gittins, Julian M. Bass, Sian Hope |
A Comparison of Software Development Process Experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP ![In: Extreme Programming and Agile Processes in Software Engineering, 5th International Conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004, Proceedings, pp. 231-236, 2004, Springer, 3-540-22137-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | David B. Lowe, Rachatrin Tongrungrojana |
Web Information Exchange Diagrams for UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems - WISE 2004, 5th International Conference on Web Information Systems Engineering, Brisbane, Australia, November 22-24, 2004, Proceedings, pp. 29-40, 2004, Springer, 3-540-23894-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | J. Fernando Bienvenido, Isabel M. Flores-Parra |
Automatic Generation of the Behavior Definition of Distributed Design Tools from Task Method Diagrams and Method Flux Diagrams by Diagram Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings, pp. 435-437, 2004, Springer, 3-540-21268-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Richard Cox, Pablo Romero, Benedict du Boulay, Rudi Lutz |
A Cognitive Processing Perspective on Student Programmers' 'Graphicacy'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings, pp. 344-346, 2004, Springer, 3-540-21268-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Paul Mutton, Peter Rodgers 0001, Jean Flower |
Drawing Graphs in Euler Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings, pp. 66-81, 2004, Springer, 3-540-21268-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Xinming Tan, Yingxu Wang 0001, Cyprian F. Ngolah |
Specification of the RTPA Grammar and Its Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004), 16-17 August 2004, Victoria, Canada, pp. 54-63, 2004, IEEE Computer Society, 0-7695-2190-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
descriptive mathematics, grammar recognition, LL(k), type checker, software engineering, formal methods, Cognitive informatics, parser, system behaviors, human behaviors, RTPA |
8 | Pedro F. Campos, Nuno Jardim Nunes |
CanonSketch: A User-Centered Tool for Canonical Abstract Prototyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EHCI/DS-VIS ![In: Engineering Human Computer Interaction and Interactive Systems, Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers, pp. 146-163, 2004, Springer, 3-540-26097-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Susanne Graf, Jozef Hooman |
Correct Development of Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSA ![In: Software Architecture, First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings, pp. 241-249, 2004, Springer, 3-540-22000-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Boualem Benatallah, Hamid R. Motahari Nezhad |
Service Oriented Computing: Opportunities and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWDB ![In: Semantic Web and Databases, Second International Workshop, SWDB 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers, pp. 1-8, 2004, 3-540-24576-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Tiberiu Seceleanu, Tomi Westerlund |
Aspects of Formal and Graphical Design of a Bus System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France, pp. 396-403, 2004, IEEE Computer Society, 0-7695-2085-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko |
Synthesis and Stochastic Assessment of Schedules for Lacquer Production. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands, pp. 28-37, 2004, IEEE Computer Society, 0-7695-2185-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Holger Giese, Matthias Tichy, Daniela Schilling |
Compositional Hazard Analysis of UML Component and Deployment Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings, pp. 166-179, 2004, Springer, 3-540-23176-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Chris Mattmann, Daniel J. Crichton, J. Steven Hughes, Sean C. Kelly, Paul M. Ramirez |
Software Architecture for Large-Scale, Distributed, Data-Intensive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA ![In: 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 12-15 June 2004, Oslo, Norway, pp. 255-276, 2004, IEEE Computer Society, 0-7695-2172-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Ingolf H. Krüger, Reena Mathew |
Systematic Development and Exploration of Service-Oriented Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA ![In: 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 12-15 June 2004, Oslo, Norway, pp. 177-187, 2004, IEEE Computer Society, 0-7695-2172-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Jintae Kim, Minseong Kim, Hwasil Yang, Sooyong Park |
A Method and Tool Support for Variant Requirements Analysis: Goal and Scenario Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November - 3 December 2004, Busan, Korea, pp. 168-175, 2004, IEEE Computer Society, 0-7695-2245-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Satyajit Acharya, Chris George, Hrushikesha Mohanty |
Specifying a Mobile Computing Infrastructure and Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCIT ![In: Distributed Computing and Internet Technology, First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004, Proceedings, pp. 244-254, 2004, Springer, 3-540-24075-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Mobicharts, Mobile Computing, Testing, Specification, RSL |
8 | Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi |
Büchi Complementation Made Tighter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings, pp. 64-78, 2004, Springer, 3-540-23610-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Arnon Sturm, Iris Reinhartz-Berger |
Applying the Application-Based Domain Modeling Approach to UML Structural Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2004, 23rd International Conference on Conceptual Modeling, Shanghai, China, November 2004, Proceedings, pp. 766-779, 2004, Springer, 3-540-23723-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Takaharu Miyoshi, Weiqing Li, Kazufumi Kaneda, Hideo Yamashita, Eihachiro Nakamae |
Automatic Extraction of Buildings Utilizing Geometric Features of a Scanned Topographic Map. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (3) ![In: 17th International Conference on Pattern Recognition, ICPR 2004, Cambridge, UK, August 23-26, 2004., pp. 626-629, 2004, IEEE Computer Society, 0-7695-2128-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Daniel D. Suthers |
Towards an Analysis of How Shared Representations Are Manipulated to Mediate Online Synchronous Collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 7th International Conference, ITS 2004, Maceiò, Alagoas, Brazil, August 30 - September 3, 2004, Proceedings, pp. 892-894, 2004, Springer, 3-540-22948-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Gwen Salaün, Lucas Bordeaux, Marco Schaerf |
Describing and Reasoning on Web Services using Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: Proceedings of the IEEE International Conference on Web Services (ICWS'04), June 6-9, 2004, San Diego, California, USA, pp. 43-, 2004, IEEE Computer Society, 0-7695-2167-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Dale-Marie Wilson |
Multimodal programming for dyslexic students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Proceedings of the 6th International Conference on Multimodal Interfaces, ICMI 2004, State College, PA, USA, October 13-15, 2004, pp. 343, 2004, ACM, 1-58113-995-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | David Ginat |
Embedding instructive assertions in program design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2004, Leeds, UK, June 28-30, 2004, pp. 62-66, 2004, ACM, 1-58113-836-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
design perspectives, pedagogy, assertions |
8 | Hassan Reza, Emanuel S. Grant |
Model Oriented Software Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC Workshops ![In: 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Workshop Papers, pp. 4-5, 2004, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Loe M. G. Feijs, Jun Hu 0001 |
Component-Wise Mapping of Media-Needs to a Distributed Presentation Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings, pp. 250-257, 2004, IEEE Computer Society, 0-7695-2209-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Elzbieta Malinowski, Esteban Zimányi |
OLAP Hierarchies: A Conceptual Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 16th International Conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004, Proceedings, pp. 477-491, 2004, Springer, 3-540-22151-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Ricardo Melo Bastos, Marcelo Blois Ribeiro |
MASUP: An Agent-Oriented Modeling Process for Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SELMAS ![In: Software Engineering for Multi-Agent Systems III, Research Issues and Practical Applications [the book is a result of SELMAS 2004]., pp. 19-35, 2004, Springer, 3-540-24843-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Winfried Kurth, Ole Kniemeyer, Gerhard H. Buck-Sorlin |
Relational Growth Grammars - A Graph Rewriting Approach to Dynamical Systems with a Dynamical Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UPP ![In: Unconventional Programming Paradigms, International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers, pp. 56-72, 2004, Springer, 3-540-27884-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Laura M. Leventhal, Julie Barnes, Joseph Chao |
Term project user interface specifications in a usability engineering course: challenges and suggestions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2004, Norfolk, Virginia, USA, March 3-7, 2004, pp. 41-45, 2004, ACM, 1-58113-798-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
task analysis, user interface specification, group projects |
8 | Alexander Egyed |
Resolving uncertainties during trace analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004, pp. 3-12, 2004, ACM, 1-58113-855-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Sebastián Uchitel, Marsha Chechik |
Merging partial behavioural models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004, pp. 43-52, 2004, ACM, 1-58113-855-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
partial behaviour models, merge, MTS |
8 | Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli |
Conservative approximations for heterogeneous design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings, pp. 155-164, 2004, ACM, 1-58113-860-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
verification, approximation, refinement, abstraction, heterogeneous, polymorphism, model of computation |
8 | Yuan Zhan, John A. Clark |
Search Based Automatic Test-Data Generation at an Architectural Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (2) ![In: Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part II, pp. 1413-1424, 2004, Springer, 3-540-22343-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Kathy Dang Nguyen, Zhenxin Sun, P. S. Thiagarajan, Weng-Fai Wong |
Model-Driven SoC Design via Executable UML to SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 5-8 December 2004, Lisbon, Portugal, pp. 459-468, 2004, IEEE Computer Society, 0-7695-2247-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Noura Boudiaf, Farid Mokhati, Mourad Badri, Linda Badri |
Specifying DIMA Multi-agents Models Using Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Intelligent Agents and Multi-Agent Systems, 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers, pp. 29-42, 2004, Springer, 3-540-25340-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Armen Aghasaryan, Claude Jard, Julien Thomas |
UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICT ![In: Telecommunications and Networking - ICT 2004, 11th International Conference on Telecommunications, Fortaleza, Brazil, August 1-6, 2004, Proceedings, pp. 841-847, 2004, Springer, 3-540-22571-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | James Odell |
Agent UML 2.0: Too Radical or Not Radical Enough? ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004, Proceedings, pp. 1, 2004, Springer, 3-540-23222-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Luciano Baresi, Carlo Ghezzi |
Validation of Component and Service Federations in Automotive Software Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWSD ![In: Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers, pp. 57-73, 2004, Springer, 3-540-37677-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Jun Kong, Kang Zhang 0001 |
On a Spatial Graph Grammar Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 26-29 September 2004, Rome, Italy, pp. 102-104, 2004, IEEE Computer Society, 0-7803-8696-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Sang Sup An, Jae Wook Jeon, Seongil Lee, Hyuckyeol Choi, Hoo-Gon Choi |
A Pair of Wireless Braille-Based Chording Gloves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 9th International Conference, ICCHP 2004, Paris, France, July 7-9, 2004, Proceedings, pp. 490-497, 2004, Springer, 3-540-22334-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Vittorio Cortellessa, Antonio Pompei |
Towards a UML profile for QoS: a contribution in the reliability domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the Fourth International Workshop on Software and Performance, WOSP 2004, Redwood Shores, California, USA, January 14-16, 2004, pp. 197-206, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
software reliability, UML profile, software performance, component-based software systems |
8 | Shou-Hsuan Stephen Huang, Carlos Humberto Molina-Rodríguez, Jesús Ubaldo Quevedo-Torrero, Mario Francisco Fonseca-Lozada |
Exploring Similarity among Web Pages Using the Hyperlink Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (1) ![In: International Conference on Information Technology: Coding and Computing (ITCC'04), Volume 1, April 5-7, 2004, Las Vegas, Nevada, USA, pp. 344-348, 2004, IEEE Computer Society, 0-7695-2108-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu 0001 |
Mapping Template Semantics to SMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria, pp. 320-325, 2004, IEEE Computer Society, 0-7695-2131-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Daniel L. Moody |
Cognitive Load Effects on End User Understanding of Conceptual Models: An Experimental Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceeding, pp. 129-143, 2004, Springer, 3-540-23243-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Katja Fischer, Peter Göhner, Felix Gutbrodt, Uwe Katzke, Birgit Vogel-Heuser |
Conceptual Design of an Engineering Model for Product and Plant Automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 301-321, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Dominik Stein, Stefan Hanenberg, Rainer Unland |
A Graphical Notation to Specify Model Queries for MDA Transformations on UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAFA ![In: Model Driven Architecture, European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers, pp. 77-92, 2004, Springer, 3-540-28240-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | José Raúl Romero, Antonio Vallecillo |
Formalizing ODP Computational Viewpoint Specifications in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 20-24 September 2004, Monterey, California, USA, Proceedings, pp. 212-223, 2004, IEEE Computer Society, 0-7695-2214-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Edgardo Belloni, Claudia A. Marcos |
MAM-UML: An UML Profile for the Modeling of Mobile-Agent Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), 11-12 November 2004, Arica, Chile, pp. 3-13, 2004, IEEE Computer Society, 0-7695-2200-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Grzegorz Bancerek, Josef Urban |
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, pp. 44-57, 2004, Springer, 3-540-23029-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | José Ambrosio Toval Álvarez, Víctor Requena, José Luis Fernández Alemán |
Emerging OCL tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 2(4), pp. 248-261, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
OCL tools, Analysis, Object Constraint Language, Comparison |
8 | Laura K. Dillon, Kurt Stirewalt |
Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(2), pp. 133-150, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Amalia, analysis software, engineering trade-offs, inference graphs, transparent design, program transformations, operational semantics, proofs of correctness |
8 | Árpád Beszédes, Rudolf Ferenc, Tibor Gyimóthy, André Dolenc, Konsta Karsisto |
Survey of code-size reduction methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 35(3), pp. 223-267, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
method assessment, code compression, code compaction, method evaluation |
8 | Jörn W. Janneck |
Actors and their Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 15(4), pp. 349-369, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Actor language, Actor semantics, Model, Composition, Actor, Model of computation, Heterogeneous model |
8 | Paul Mason, Amer Saeed, Paul Arkley, Steve Riddle |
Meta-Modelling Approach to Traceability for Avionics: A Framework for Managing the Engineering of Computer Based Aerospace Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 7-10 April 2003, Huntsville, AL, USA, pp. 233-246, 2003, IEEE Computer Society, 0-7695-1917-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Giuseppe Scollo |
An Institution Isomorphism for Planar Graph Colouring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers, pp. 252-264, 2003, Springer, 3-540-22145-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Jan Romberg, Oscar Slotosch, Gabor Hahn |
MoDe: A Method for System-Level Architecture Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings, pp. 13-23, 2003, IEEE Computer Society, 0-7695-1923-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Mathai Joseph |
Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 26-33, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Piotr Kosiuczenko |
Partial Order Semantics of Sequence Diagrams for Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scenarios: Models, Transformations and Tools ![In: Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers, pp. 212-227, 2003, Springer, 3-540-26189-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Ingolf H. Krüger, Reena Mathew |
Component Synthesis from Service Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scenarios: Models, Transformations and Tools ![In: Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers, pp. 255-277, 2003, Springer, 3-540-26189-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Yaojin Yang, Jianli Xu |
Encoding Informal Architectural Descriptions with UML: An Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings, pp. 138-142, 2003, Springer, 3-540-20243-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Hassan Naser, Hussein T. Mouftah |
Modeling and Simulation of Mesh Networks with Path Protection and Restoration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS Tutorials ![In: Performance Tools and Applications to Networked Systems, Revised Tutorial Lectures [from MASCOTS 2003], pp. 88-117, 2003, Springer, 3-540-21945-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Juyoung Kang 0001, Jae Kyu Lee |
Extraction of Structured Rules from Web Pages and Maintenance of Mutual Consistency: XRML Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rules and Rule Markup Languages for the Semantic Web, Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003, Proceedings, pp. 150-163, 2003, Springer, 3-540-20361-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Jörg Desel, Vesna Milijic, Christian Neumair |
Model Validation in Controller Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 467-495, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Ali Taleghani, Jonathan S. Ostroff |
BON development tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eTX ![In: Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, October 2003, Anaheim, CA, USA, pp. 10-14, 2003, ACM, 978-1-4503-7470-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Jianping Wu, Zhongjie Li, Xia Yin |
Towards Modeling and Testing of IP Routing Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings, pp. 49-62, 2003, Springer, 3-540-40123-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Kuo Wang, Cristina Fierbinteanu, Mamoru Maekawa |
A Conceptual Framework for Spatiotemporal Data Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings, pp. 57-66, 2003, Springer, 3-540-40806-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Carl Cook, Neville Churcher |
An Extensible Framework for Collaborative Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand, pp. 290-, 2003, IEEE Computer Society, 0-7695-2011-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Alan Wassyng, Mark Lawford |
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 133-153, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
experience paper, verification, specification, inspection, Industrial application, safety critical software |
8 | Matthias Beyer, Winfried Dulz, Fenhua Zhen |
Automated TTCN-3 Test Case Generation by Means of UML Sequence Diagrams and Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China, pp. 102-105, 2003, IEEE Computer Society, 0-7695-1951-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Eliezer Kantorowitz, Alexander Lyakas, Artur Myasqobsky |
A Use Case-Oriented User Interface Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SwSTE ![In: 2003 IEEE International Conference on Software - Science, Technology and Engineering (SwSTE 2003), 4-5 November 2003, Herzelia, Israel, pp. 93-100, 2003, IEEE Computer Society, 0-7695-2047-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Hugo Estrada 0001, Alicia Martínez 0001, Oscar Pastor 0001 |
Goal-Based Business Modeling Oriented towards Late Requirements Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2003, 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003, Proceedings, pp. 277-290, 2003, Springer, 3-540-20299-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Snezhana P. Kostova |
A PLDS Model of Pollution in Connected Water Reservoirs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POSTA ![In: Positive Systems, Proceedings of the First Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2003), Rome, Italy, August 28-30, 2003, pp. 257-263, 2003, Springer, 3-540-40342-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Rafael Andrade 0002, Aldo von Wangenheim, Mariana Kessler Bortoluzzi, Eros Comunello |
Using Mobile Wireless Devices for Interactive Visualization and Analysis of DICOM Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 16th IEEE Symposium on Computer-Based Medical Systems (CBMS 2003), 26-27 June 2003, New York, NY, USA, pp. 97-101, 2003, IEEE Computer Society, 0-7695-1901-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Wireless, Personal Digital Assistants, DICOM, Medical |
8 | Paul A. Fishwick, Jinho Lee, Minho Park, Hyunju Shim |
Next generation modeling I: RUBE: a customized 2d and 3d modeling framework for simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003, pp. 755-762, 2003, IEEE Computer Society, 0-7803-8132-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Jun Kong, Kang Zhang 0001, Jing Dong 0005, Guang-Lei Song |
A Graph Grammar Approach to Software Architecture Verification and Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings, pp. 492-, 2003, IEEE Computer Society, 0-7695-2020-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Arnon Sturm, Onn Shehory |
A Framework for Evaluating Agent-Oriented Methodologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOIS ![In: Agent-Oriented Information Systems, 5th International Bi-Conference Workshop, AOIS 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13th, 2003, Revised Selected Papers, pp. 94-109, 2003, Springer. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Simon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett |
A user-centred approach to functions in Excel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003, pp. 165-176, 2003, ACM, 1-58113-756-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Wei Ni, Tok Wang Ling |
GLASS: A Graphical Query Language for Semi-Structured Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Eighth International Conference on Database Systems for Advanced Applications (DASFAA '03), March 26-28, 2003, Kyoto, Japan, pp. 363-370, 2003, IEEE Computer Society, 0-7695-1895-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Susan Stepney, Fiona Polack, Ian Toyn |
An Outline Pattern Language for Z: Five Illustrations and Two Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, pp. 2-19, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
patterns, Z, development methods |
8 | Valérie Issarny, Apostolos V. Zarras |
Software Architecture and Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures, pp. 259-286, 2003, Springer, 3-540-20083-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Martin Dinkloh, Jens Nimis |
A Tool for Integrated Design and Implementation of Conversations in Multiagent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROMAS ![In: Programming Multi-Agent Systems, First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers, pp. 187-200, 2003, Springer, 3-540-22180-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Susanne Graf, Ileana Ober |
A Real-Time Profile for UML and How to Adapt It to SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings, pp. 55-76, 2003, Springer. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Christopher J. Turner, T. C. Nicholas Graham, Christopher Wolfe, Julian Ball, David Holman, Hugh D. Stewart, Arthur G. Ryman |
Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada, pp. 271-276, 2003, IEEE Computer Society, 0-7695-2035-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Christian Stary, Simone Stoiber |
Model-Based Electronic Performance Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Interactive Systems. Design, Specification, and Verification, 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers, pp. 258-272, 2003, Springer, 3-540-20159-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Simon Crowle, Linda Hole |
ISML: An Interface Specification Meta-language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Interactive Systems. Design, Specification, and Verification, 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers, pp. 362-376, 2003, Springer, 3-540-20159-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Reiko Heckel |
Open Petri Nets as Semantic Model for Workflow Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Net Technology for Communication-Based Systems ![In: Petri Net Technology for Communication-Based Systems - Advances in Petri Nets, pp. 281-294, 2003, Springer, 3-540-20538-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Yoshihiro Yasutake, Yusuke Masuyama, Kentaro Oda, Takaichi Yoshida |
Clear Separation and Combination of Synchronization Constraint for Concurrent Object Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 17th International Conference on Advanced Information Networking and Applications (AINA'03), March 27-29, 2003, Xi'an, China, pp. 671-676, 2003, IEEE Computer Society, 0-7695-1906-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Francisco Durán 0001, Javier Herrador, Antonio Vallecillo |
Using UML and Maude for Writing and Reasoning about ODP Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 4-6 June 2003, Lake Como, Italy, pp. 15-25, 2003, IEEE Computer Society, 0-7695-1933-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Winfried Dulz, Fenhua Zhen |
MaTeLo - Statistical Usage Testing by Annotated Sequence Diagrams, Markov Chains and TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA, pp. 336-342, 2003, IEEE Computer Society, 0-7695-2015-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Rosziati Ibrahim, Marlene Lu |
Formal Methods applied to Plywood Production. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA, pp. 298-, 2003, IEEE Computer Society, 0-7695-2015-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #901 - #1000 of 1265 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|