|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6398 occurrences of 1806 keywords
|
|
|
Results
Found 8456 publication records. Showing 8456 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
37 | Sébastien Gérard, François Terrier |
UML for Real-Time. |
UML for Real |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Martyn Edwards, Peter Green 0001 |
UML for Hardware and Software Object Modeling. |
UML for Real |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Bran Selic |
Modeling Quality of Service with UML. |
UML for Real |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Bran Selic |
Models, Software Models and UML. |
UML for Real |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Øystein Haugen, Birger Møller-Pedersen, Thomas Weigert |
Structural Modeling with UML 2.0. |
UML for Real |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Dorina C. Petriu, C. Murray Woodside |
Performance Analysis with UML. |
UML for Real |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Michael von der Beeck, Peter Braun 0003, Martin Rappl, Christian Schröder |
Automotive UML. |
UML for Real |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Rong Chen, Marco Sgroi, Luciano Lavagno, Grant Martin, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey |
UML and Platform-based Design. |
UML for Real |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Thomas Weigert, Rick Reed |
Specifying Telecommunications Systems with UML. |
UML for Real |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Stephan Flake, Wolfgang Müller 0003 |
Formal semantics of static and temporal state-oriented OCL constraints. |
Softw. Syst. Model. |
2003 |
DBLP DOI BibTeX RDF |
Temporal logics, Object Constraint Language, UML Profile, Real-time constraints, UML Statecharts |
36 | Marcela Genero, Luis Jiménez 0001, Mario Piattini |
A Controlled Experiment for Validating Class Diagram Structural Complexity Metrics. |
OOIS |
2002 |
DBLP DOI BibTeX RDF |
UML class diagram structural complexity, UML class diagram modifiability, structural complexity metrics, fuzzy rule system, prediction model, empirical validation |
36 | James F. Power, Brian A. Malloy |
Symbol Table Construction and Name Lookup in ISO C++. |
TOOLS (37) |
2000 |
DBLP DOI BibTeX RDF |
name lookup, ISO C++ language, symbol table construction, UML class, decorator, facade, model understandability, ISO C++ standard, C++ understandability, UML knowledge, parser front-end, name lookup problem, component approach, compiler technology, parser driven applications, front-end development, user interfaces, Unified Modeling Language, reverse engineering, specification languages, program compilers, grammars, object oriented model, object oriented framework, table lookup, sequence diagrams, software standards, ISO standards, C++ language |
36 | Matthew Kaplan 0003, Tim Klinger, Amit M. Paradkar, Avik Sinha, Clay Williams, Cemal Yilmaz 0001 |
Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
UML Model-based Test Generation, Use Case Based Test Generation, Test Verification Sequence, Fault Models for UML, Invariants analysis |
36 | Aline Lúcia Baroni |
Quantitative assessment of UML dynamic models. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
UML meta-model, UML models (use cases, activity, sequence, collaboration, communication), estimation, statecharts, OCL, behavioral models, formalization, dynamic models, object-oriented design metrics |
36 | Wan-Seob Byeon, Bo Wang, Sa-Kyun Jeong, Ok-Bae Chang |
Extension and Implementation of Iconic Stereotype for GNSS Application in the UML Class Diagram. |
CW |
2004 |
DBLP DOI BibTeX RDF |
GNSS, Iconic stereotype, Unified Modeling Language(UML), UML extension |
34 | Nima Kaveh, Wolfgang Emmerich |
Deadlock detection in distribution object systems. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
object middleware, model checking, UML, UML, process algebra |
34 | Jean Brodeur, Yvan Bédard, Marie-Josée Proulx |
Modelling geospatial application databases using UML-based repositories aligned with international standards in geomatics. |
ACM-GIS |
2000 |
DBLP DOI BibTeX RDF |
ISO/TC 211, feature catalogue, geographic information standard, geospatial database modelling, geospatial repository, perceptory, UML, UML, interoperability, metadata, OGC |
33 | Manachai Toahchoodee, Indrakshi Ray, Kyriakos Anastasakis, Geri Georg, Behzad Bordbar |
Ensuring spatio-temporal access control for real-world applications. |
SACMAT |
2009 |
DBLP DOI BibTeX RDF |
spatio-temporal rbac, alloy, uml |
33 | Luigi Lavazza, Vieri Del Bianco |
A Case Study in COSMIC Functional Size Measurement: The Rice Cooker Revisited. |
IWSM/Mensura |
2009 |
DBLP DOI BibTeX RDF |
COSMIC method case study, measurement-oriented modelling, UML, requirements modelling, Functional Size Measurement |
33 | Jing Dong 0005, Sheng Yang 0002, Kang Zhang 0001 |
Visualizing Design Patterns in Their Applications and Compositions. |
IEEE Trans. Software Eng. |
2007 |
DBLP DOI BibTeX RDF |
Web service, UML, Design pattern, model-driven architecture, visual tool |
33 | Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero |
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. |
FM |
2005 |
DBLP DOI BibTeX RDF |
UML, performance analysis, security analysis, process calculi |
33 | Jörg Gericke, Peter Liggesmeyer |
Eine Erweiterung der Unified Modeling Language zur Verfolgung von Software-Anforderungen in sicherheitskritischen Systemen. |
Inform. Forsch. Entwickl. |
2002 |
DBLP DOI BibTeX RDF |
Softwareanforderung, Anforderungsverfolgung, Sicherheit (safety), UML |
33 | Harald Störrle |
Towards clone detection in UML domain models. |
ECSA Companion Volume |
2010 |
DBLP DOI BibTeX RDF |
UML, clone detection |
33 | Chun Ruan, Ewa Huebner |
Formalizing Computer Forensics Process with UML. |
UNISCON |
2009 |
DBLP DOI BibTeX RDF |
Computer forensics process, UML, system modeling |
33 | Marco Brambilla 0001, Christina Tziviskou |
An Online Platform for Semantic Validation of UML Models. |
ICWE |
2009 |
DBLP DOI BibTeX RDF |
ontology, Semantic Web, UML, component, validation, conceptual modeling, pattern, reasoner, class diagram, WebML |
33 | Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri Yushtein |
Supporting UML-based development of embedded systems by formal techniques. |
Softw. Syst. Model. |
2008 |
DBLP DOI BibTeX RDF |
UML, Embedded systems, Real-time, Formal methods |
33 | Yann Thierry-Mieg, Lom-Messan Hillah |
UML behavioral consistency checking using instantiable Petri nets. |
Innov. Syst. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Behavioral consistency, Model checking, UML, Petri nets, Formal verification |
33 | Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim |
Integrating a formal method into a software engineering process with UML and Java. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking |
33 | Sabnam Sengupta, Swapan Bhattacharya |
Formalization of UML diagrams and their consistency verification: A Z notation based approach. |
ISEC |
2008 |
DBLP DOI BibTeX RDF |
UML, traceability, formalization, class diagram, sequence diagram, Z notation, automated verification, use case diagram, ER diagram |
33 | Nasreddine Aoumeur, Gunter Saake |
A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent IS. |
UNISCON |
2008 |
DBLP DOI BibTeX RDF |
Architectural connectors, Distributed IS, Evolution and Adaptability, UML, Rewriting logic |
33 | Jaeyong Park, David C. Rine, Elizabeth White |
Assessing conformance of pattern-based design in UML. |
ACM Southeast Regional Conference |
2008 |
DBLP DOI BibTeX RDF |
pattern-based design, UML, design pattern, profile, assessment |
33 | Vahid Garousi |
Traffic-aware Stress Testing of Distributed Real-Time Systems Based on UML Models in the Presence of Time Uncertainty. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
Time Uncertainty, UML, Distributed Real-Time Systems, Stress Testing |
33 | Holger Eichelberger |
Automatic layout of UML use case diagrams. |
SOFTVIS |
2008 |
DBLP DOI BibTeX RDF |
automatic layout algorithms, drawing rules, UML, model-driven development, use case diagrams |
33 | Raimund Dachselt, Mathias Frisch, Eike Decker |
Enhancing UML sketch tools with digital pens and paper. |
SOFTVIS |
2008 |
DBLP DOI BibTeX RDF |
UML, software design, sketching, Anoto |
33 | Piotr Habela, Krzysztof Kaczmarski, Krzysztof Stencel, Kazimierz Subieta |
OCL as the Query Language for UML Model Execution. |
ICCS (3) |
2008 |
DBLP DOI BibTeX RDF |
UML, MDA, query language, OCL |
33 | Pedro Nogueira Ramos |
Contrary-to-Duties Constraints: From UML to Relational Model. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
Contrary-To-Duties, Deontic Constraints, UML, Relational Model |
33 | Franck Barbier |
Supporting the UML State Machine Diagramsat Runtime. |
ECMDA-FA |
2008 |
DBLP DOI BibTeX RDF |
UML, Statecharts, model executability |
33 | Achim D. Brucker, Burkhart Wolff |
HOL-OCL: A Formal Proof Environment for UML/OCL. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
holocl, ocl, Formal Method, Theorem Proving, uml |
33 | Ali Ebnenasir, Betty H. C. Cheng |
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
FormalMethods, Fault-Tolerance, UML, Requirements Analysis, Detector |
33 | Dolev Dotan, Andrei Kirshin |
Debugging and testing behavioral UML models. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
UML, software development, debugging, profiles, state machines, activities |
33 | Martin Soukup, Jiri Soukup |
The popularity cycle of graphical tools, UML, and libraries of associations. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
intrusive data structures, model, UML, unified modelling language, design patterns, MDA, reusable, association, MDE, model driven, class library, agile programming |
33 | Marcin Szlenk |
UML Static Models in Formal Approach. |
CEE-SET |
2007 |
DBLP DOI BibTeX RDF |
UML, Software modeling, Formal reasoning |
33 | Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic |
Preface of "Specification and Validation of Real Time and Embedded systems in UML". |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
Modeling, UML, Real time, Semantics, Formal verification, Software development, Validation |
33 | Susanne Graf, Ileana Ober, Iulian Ober |
A real-time profile for UML. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
Real-time profile, Modeling, Real-time systems, UML, Formal verification, Timing analysis, OMEGA, Timing properties |
33 | Christine Choppy, Gianna Reggio |
Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt. |
ASWEC |
2006 |
DBLP DOI BibTeX RDF |
UML, Requirements Specification, Domain Model, Enterprise Applications, Problem Frames |
33 | Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz |
Transformation of B specifications into UML class diagrams and state machines. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
UML, state machine, B method, class diagram |
33 | Terrence P. Fries |
A framework for transforming structured analysis and design artifacts to UML. |
SIGDOC |
2006 |
DBLP DOI BibTeX RDF |
structured analysis and design, UML, class diagram, sequence diagram, data flow diagram, entity relationship diagram |
33 | Scott A. Turner, Manuel A. Pérez-Quiñones, Stephen H. Edwards |
minimUML: A minimalist approach to UML diagramming for early computer science education. |
ACM J. Educ. Resour. Comput. |
2005 |
DBLP DOI BibTeX RDF |
minimalist design, human-computer interaction, UML, learning, education |
33 | Xavier Sautejeau |
Modeling SPARK systems with UML. |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
UML, ada, profile, metamodel, informed, SPARK |
33 | Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. France, Michael Hamilton, Brent Wilkins |
UMLAnT: an Eclipse plugin for animating and testing UML designs. |
eTX |
2005 |
DBLP DOI BibTeX RDF |
EclipseUML, UML, Eclipse, class diagram, sequence diagram, activity diagram, plugin, EMF, model execution, object diagram, model testing |
33 | Chih-Hao Tseng, Pao-Ann Hsiung |
UML-Based Design Flow and Partitioning Methodology for Dynamically Reconfigurable Computing Systems. |
EUC |
2005 |
DBLP DOI BibTeX RDF |
FPGA, UML, partitioning, reconfigurable computing, codesign, sequence diagram, design flow |
33 | Connie U. Smith, Catalina M. Lladó, Vittorio Cortellessa, Antinisca Di Marco, Lloyd G. Williams |
From UML models to software performance results: an SPE process based on XML interchange formats. |
WOSP |
2005 |
DBLP DOI BibTeX RDF |
SPE process, automated model building, methods and tools, XML, UML, performance model, software performance engineering, tool interoperability, interchange format |
33 | Jan Jürjens |
Sound methods and effective tools for model-based security engineering with UML. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
verification biometric authentication, verification framework, security, UML, unified modeling language, cryptographic protocol |
33 | Lori L. DeLooze |
Minimal UML diagrams for a data-driven web site. |
SIGITE Conference |
2005 |
DBLP DOI BibTeX RDF |
models, design, UML, analysis |
33 | Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh, Robert B. France, Anneliese Amschler Andrews |
A Tool-Supported Approach to Testing UML Design Models. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
UML, software testing, code generation, class diagram, test adequacy criteria, model execution, test execution, interaction diagrams |
33 | C. T. Carr, T. Martin McGinnity, L. J. McDaid |
Integration of UML and VHDL-AMS for analogue system modelling. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Analogue, Automated mapping, UML, Circuits, VHDL-AMS |
33 | Jan Jürjens, Pasha Shabalin |
A Foundation for Tool-Supported Critical Systems Development with UML. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
formal models of object-oriented design, UML, verification, specification, tool support, secure computing, critical systems |
33 | Jing Liu, Zhiming Liu 0001, Jifeng He 0001, Xiaoshan Li |
Linking UML Models of Design and Requirement. |
Australian Software Engineering Conference |
2004 |
DBLP DOI BibTeX RDF |
UML, semantics, consistency |
33 | Nuno Amálio, Susan Stepney, Fiona Polack |
Formal Proof from UML Models. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
UML, Z, consistency checking, formal proof, model analysis |
33 | Jing Yang, Quan Long, Zhiming Liu 0001, Xiaoshan Li |
A Predicative Semantic Model for Integrating UML Models. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
UML, Refinement, Formal semantics, Model integration |
33 | Jessica Chen, Hanmei Cui |
Translation from Adapted UML to Promela for CORBA-Based Applications. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
Model Checking, UML, Middleware, CORBA, SPIN, Distributed Object Systems, Formal Specification and Verification |
33 | Sergio Luján-Mora, Panos Vassiliadis, Juan Trujillo 0001 |
Data Mapping Diagrams for Data Warehouse Design with UML. |
ER |
2004 |
DBLP DOI BibTeX RDF |
UML, data warehouse, ETL, data mapping |
33 | Nicolas Guelfi, Guillaume Le Cousin, Benoît Ries |
Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions. |
OTM Workshops |
2004 |
DBLP DOI BibTeX RDF |
Cross-enterprise business processes modeling, fault-tolerance, UML, verification, validation, methodology, tools, advanced transaction model |
33 | Tiberiu Seceleanu, Juha Plosila |
Constituent Elements of a Correctness-Preserving UML Design Approach. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
UML, refinement, Action Systems |
33 | Claudio Riva, Petri Selonen, Tarja Systä, Jianli Xu |
UML-Based Reverse Engineering and Model Analysis Approaches for Software Architecture Maintenance. |
ICSM |
2004 |
DBLP DOI BibTeX RDF |
Architecture Maintenance, UML, Software Architecture, Reverse Engineering, Architecture Analysis |
33 | Zhiming Liu 0001, Jifeng He 0001, Xiaoshan Li, Yifeng Chen |
A Relational Model for Formal Object-Oriented Requirement Analysis in UML. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
UML, Object-orientation, conceptual models, use-cases, requirement specification |
33 | Shihong Huang, Scott R. Tilley |
Workshop on Graphical Documentation for Programmers: Assessing the Efficacy of UML Diagrams for Program Understanding. |
IWPC |
2003 |
DBLP DOI BibTeX RDF |
UML, assessment, program understanding, graphical documentation |
33 | Juan Trujillo 0001, Sergio Luján-Mora |
A UML Based Approach for Modeling ETL Processes in Data Warehouses. |
ER |
2003 |
DBLP DOI BibTeX RDF |
ETL processes, UML, conceptual modeling, Data warehouses |
33 | Sudipto Ghosh, Robert B. France, Conrad Braganza, Nilesh Kawane, Anneliese Amschler Andrews, Orest Pilskalns |
Test Adequacy Assessment for UML Design Model Testing. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
category partitioning, UML, software testing, class diagram, test adequacy criteria, design reviews, collaboration diagram |
33 | Nuno Amálio, Fiona Polack |
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
formalisation, UML, specification, Z, Object-Z |
33 | Thomas Kudrass, Tobias Krumbein |
Rule-Based Generation of XML DTDs from UML Class Diagrams. |
ADBIS |
2003 |
DBLP DOI BibTeX RDF |
schema generation, XML, UML, DTD |
33 | Gonzalo Génova, Juan Lloréns, Paloma Martínez |
The meaning of multiplicity of n-ary associations in UML. |
Softw. Syst. Model. |
2002 |
DBLP DOI BibTeX RDF |
ternary association, n-ary association, ternary relationship, n-ary relationship, UML, data modeling, multiplicity, entity-relationship modeling, cardinality |
33 | Mohamed Mancona Kandé, Valentin Crettaz, Alfred Strohmeier, Shane Sendall |
Bridging the gap between IEEE 1471, an architecture description language, and UML. |
Softw. Syst. Model. |
2002 |
DBLP DOI BibTeX RDF |
ANSI/IEEE-Std-1471, SADL, Advanced separation of concerns, MDSOC, Concern space, UML, Software architecture, Views, ADL, Viewpoints, Architecture description |
33 | Cris Kobryn |
Will UML 2.0 be agile or awkward? |
Commun. ACM |
2002 |
DBLP DOI BibTeX RDF |
UML |
33 | Hung Ledang, Jeanine Souquières |
Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
OCL operation, B expression, B generalised substitution, UML, OCL |
33 | Ganesh J. Pai, Joanne Bechta Dugan |
Automatic Synthesis of Dynamic Fault Trees from UML System Models. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
Fault tree synthesis, UML, Reliability analysis, Dynamic fault trees |
33 | Stephan Flake, Wolfgang Müller 0003 |
Specification of Real-Time Properties for UML Models. |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
UML, Object Constraint Language, Real-Time Constraints, Property Specification |
33 | Ricardo Melo Bastos, Duncan Dubugras A. Ruiz |
Extending UML Activity Diagram for Workflow Modeling in Production Systems. |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
UML, production systems, workflow modeling |
33 | Wai-Ming Ho, Jean-Marc Jézéquel, François Pennaneac'h, Noël Plouzeau |
A toolkit for weaving aspect oriented UML designs. |
AOSD |
2002 |
DBLP DOI BibTeX RDF |
UML |
33 | Gordon Ping Gu, Dorina C. Petriu |
XSLT transformation from UML models to LQN performance models. |
Workshop on Software and Performance |
2002 |
DBLP DOI BibTeX RDF |
UML, XSLT, software performance engineering, XMI, LQN |
33 | Luciano Baresi, Franca Garzotto, Paolo Paolini |
Extending UML for Modeling Web Applications. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
UML, Web applications, Web Design, HDM |
33 | Brian Henderson-Sellers |
Some Problems with the UML V1.3 Metamodel. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
UML, aggregation, metamodeling, Object modeling, stereotypes |
33 | Katharina Mehner, Annika Wagner |
Visualizing the Synchronization of Java-Threads with UML. |
VL |
2000 |
DBLP DOI BibTeX RDF |
object oriented concurrent programming, Java, UML, debugging, program comprehension, software visualization |
33 | Wai-Ming Ho, François Pennaneac'h, Noël Plouzeau |
UMLAUT: A Framework for Weaving UML-Based Aspect-Oriented Designs. |
TOOLS (33) |
2000 |
DBLP DOI BibTeX RDF |
UML, Aspect-Oriented Programming, Model Transformation, Object-oriented Framework |
33 | Martin Glinz |
Problems and Deficiencies of UML as a Requirements Specification Language. |
IWSSD |
2000 |
DBLP BibTeX RDF |
model, UML, decomposition, use case, requirements specification |
33 | Zhiwu Xie, Jun Yu, Jinyang Liu |
Applying UML to Gas Turbine Engine Simulation. |
TOOLS (31) |
1999 |
DBLP DOI BibTeX RDF |
gas turbines, simulation, UML, Object-oriented analysis and design |
33 | Bernhard Rumpe, M. Schoenmakers, Ansgar Radermacher, Andy Schürr |
UML + ROOM as a Standard ADL? |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
ROOM, Unified Modeling Language, UML, Software Architecture, Software Components, Architecture Description Language, Real-Time Object-Oriented Modeling |
33 | Ke Ge, Li Zhang, Shunxiang Yang, Bosheng Zhou |
A Development and Management Environment Based on UML. |
TOOLS (27) |
1998 |
DBLP DOI BibTeX RDF |
UML, object-oriented, process, development, environment |
33 | Robert Law |
Using student blogs for documentation in software development projects. |
ITiCSE |
2011 |
DBLP DOI BibTeX RDF |
|
33 | Alexander T. Murray, Mohammad Shahabuddin |
OO techniques applied to a real-time, embedded, spaceborne application. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
unified modeling language, real-time, C++, embedded, object-oriented design, use case, object-oriented analysis |
33 | Miroslaw Staron, Ludwik Kuzniarz, Christian Thurn |
An empirical assessment of using stereotypes to improve reading techniques in software inspections. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Tim Schattkowsky, Wolfgang Müller 0003, Achim Rettberg |
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Radmila Juric, Jasna Kuljis |
Building an Evaluation Instrument for OO CASE Tool Assessment for Unified Modelling Language Support. |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic |
2nd UML 2 Semantics Symposium: Formal Semantics for UML. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
UML, Formal Semantics |
33 | Lijun Yu, Robert B. France, Indrakshi Ray, Sudipto Ghosh |
A Rigorous Approach to Uncovering Security Policy Violations in UML Designs. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Anis Charfi, Artur Schmidt, Axel Spriestersbach |
A Hybrid Graphical and Textual Notation and Editor for UML Actions. |
ECMDA-FA |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Gongzhu Hu |
A Formal Specification of UML Class and State Diagrams. |
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Erki Eessaar |
On Translation-Based Design of UML Profiles. |
Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Akram Idani, Dieu Donné Okalas Ossami, Jean-Louis Boulanger |
Commandments of UML for Safety. |
ICSEA |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Fatemeh Alavizadeh, Alireza Hashemi Nekoo, Marjan Sirjani |
ReUML: a UML Profile for Modeling and Verification of Reactive Systems. |
ICSEA |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 8456 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|