|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 608 occurrences of 286 keywords
|
|
|
Results
Found 1079 publication records. Showing 1079 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
55 | Vincent Bertram, Bernhard Rumpe, Michael von Wenckstern |
Encapsulation, Operator Overloading, and Error Class Mechanisms in OCL. |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
55 | Edward D. Willink |
Safe Navigation in OCL. |
OCL@MoDELS |
2015 |
DBLP BibTeX RDF |
|
55 | Frédéric Jouault, Olivier Beaudoux |
On the Use of Active Operations for Incremental Bidirectional Evaluation of OCL. |
OCL@MoDELS |
2015 |
DBLP BibTeX RDF |
|
55 | Adolfo Sánchez-Barbudo Herrera, Edward D. Willink, Richard F. Paige |
An OCL-based Bridge from Concrete to Abstract Syntax. |
OCL@MoDELS |
2015 |
DBLP BibTeX RDF |
|
55 | Massimo Tisi, Rémi Douence, Dennis Wagelaar |
Lazy Evaluation for OCL. |
OCL@MoDELS |
2015 |
DBLP BibTeX RDF |
|
55 | Achim D. Brucker, Tony Clark 0001, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff |
Panel Discussion: Proposals for Improving OCL. |
OCL@MoDELS |
2014 |
DBLP BibTeX RDF |
|
55 | Xavier Oriol, Ernest Teniente |
Incremental Checking of OCL Constraints through SQL Queries. |
OCL@MoDELS |
2014 |
DBLP BibTeX RDF |
|
55 | Delphine Longuet, Frédéric Tuong, Burkhart Wolff |
Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection. |
OCL@MoDELS |
2014 |
DBLP BibTeX RDF |
|
55 | Valerio Cosentino, Salvador Martínez Perez |
Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
55 | Thorsten Arendt, Gabriele Taentzer, Alexander Weber 0009 |
Quality Assurance of Textual Models within Eclipse using OCL and Model Transformations. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
55 | Bastian Ulke, Friedrich Steimann |
OCL as a Constraint Generation Language. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
55 | Achim D. Brucker, Dan Chiorean, Tony Clark 0001, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff |
Report on the Aachen OCL Meeting. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
55 | Tony Clark 0001 |
OCL Pattern Matching. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
55 | Harald Störrle |
Improving the Usability of OCL as an Ad-hoc Model Querying Language. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
55 | David Garry, Tricia Balfe |
Experiences using OCL for business rules on financial messaging. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
55 | Edward D. Willink |
An extensible OCL virtual machine and code generator. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
55 | Oliver Hofrichter, Lars Hamann, Martin Gogolla, Frank Steimke |
The secret life of OCL constraints. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
55 | Jan Reimann 0002, Claas Wilke, Birgit Demuth, Michael Muck, Uwe Aßmann |
Tool supported OCL refactoring catalogue. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
55 | Miguel A. Francisco, Laura M. Castro |
Automatic generation of test models and properties from UML models with OCL constraints. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
55 | Peter H. Schmitt (eds.) |
Proceedings of the Workshop OCL 2.0 - Industry Standard or Scientific Playground?, OCL 2.0, San Francisco, CA, USA, October 21, 2003 |
OCL 2.0 @UML |
2004 |
DBLP BibTeX RDF |
|
55 | Jörn Guy Süß, Andreas Leicher, Susanne Busse |
OCLPrime - Environment and Language for Model Query, Views and Transformations. |
OCL 2.0 @ UML |
2003 |
DBLP DOI BibTeX RDF |
|
55 | Peter H. Schmitt |
Preface. |
OCL 2.0 @ UML |
2003 |
DBLP DOI BibTeX RDF |
|
55 | Stephan Flake |
OclType - A Type or Metatype ? |
OCL 2.0 @ UML |
2003 |
DBLP DOI BibTeX RDF |
|
55 | Alfred Strohmeier, Thomas Baar, Shane Sendall |
Applying Fondue to Specify a Drink Vending Machine. |
OCL 2.0 @ UML |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Sergejus Sosunovas, Olegas Vasilecas |
Tool-Supported Method for the Extraction of OCL from ORM Models. |
BIS |
2007 |
DBLP DOI BibTeX RDF |
UML, metamodel, OCL, ORM |
54 | Jordi Cabot, Robert Clarisó, Daniel Riera |
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
UML, MDD, constraint programming, OCL, model verification |
54 | Thomas Baar, Slavisa Markovic |
A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
UML, Refactoring, OCL, Semantic Preservation |
54 | Jordi Cabot, Ernest Teniente |
Transforming OCL constraints: a context change approach. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
context change, transformation, OCL, integrity constraint |
54 | Martin Gogolla, Jörn Bohling, Mark Richters |
Validating UML and OCL models in USE by automatic snapshot generation. |
Softw. Syst. Model. |
2005 |
DBLP DOI BibTeX RDF |
models, UML, Invariant, Reasoning, OCL, Test case, Class diagram, Model validation, Snapshot, Pre- and postcondition, Model testing |
54 | Anneke Kleppe, Jos Warmer |
Extending OCL to include Actions. |
UML |
2000 |
DBLP DOI BibTeX RDF |
UML, constraints, invariants, OCL, actions, operations, dynamic semantics, pre- and postconditions |
51 | Lionel C. Briand, Yvan Labiche, H.-D. Yan, Massimiliano Di Penta |
A Controlled Experiment on the Impact of the Object Constraint Language in UML-Based Development. |
ICSM |
2004 |
DBLP DOI BibTeX RDF |
|
48 | Ali Hamie |
Translating the Object Constraint Language into the Java Modelling Language. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
UML, constraints, reasoning, OCL, JML |
48 | Ali Hamie |
Enhancing the Object Constraint Language for More Expressive Specifications. |
APSEC |
1999 |
DBLP DOI BibTeX RDF |
modeling, UML, specification, constraints, OCL |
47 | Fabian Büttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, Arne Lindow |
On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set. |
MoDELS (Workshops) |
2009 |
DBLP DOI BibTeX RDF |
|
46 | Siripol Noikajana, Taratip Suwannasart |
An Improved Test Case Generation Method for Web Service Testing from WSDL-S and OCL with Pair-Wise Testing Technique. |
COMPSAC (1) |
2009 |
DBLP DOI BibTeX RDF |
|
46 | Jordi Cabot, Martin Gogolla, Pieter Van Gorp |
Eighth International Workshop on OCL Concepts and Tools. |
MoDELS (Workshops) |
2008 |
DBLP DOI BibTeX RDF |
|
46 | Ke Jiang, Lei Zhang, Shigeru Miyake |
An Executable UML with OCL-based Action Semantics Language. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
UML, Model-Driven, Executable UML |
46 | John Mullins, Raveca Oarga |
Model Checking of Extended OCL Constraints on UML Models in SOCLe. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Gergely Mezei, Tihamer Levendovszky, Hassan Charaf |
An optimizing OCL Compiler for Metamodeling and Model Transformation Environments. |
SET |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Dan Chiorean, Birgit Demuth, Martin Gogolla, Jos Warmer |
OCL for (Meta-)Models in Multiple Application Domains. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Ali Hamie |
On the Relationship between the Object Constraint Language (OCL) and the Java Modeling Language (JML). |
PDCAT |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Isabel Nunes |
An OCL Extension for Low-Coupling Preserving Contracts. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
46 | Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker |
Configuration Knowledge Representation Using UML/OCL. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
46 | Stephan Flake, Wolfgang Müller 0003 |
A UML Profile for Real-Time Constraints with the OCL. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
46 | David H. Akehurst, Behzad Bordbar |
On Querying UML Data Models with OCL. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
46 | Mark Richters, Martin Gogolla |
Validating UML Models and OCL Constraints. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
43 | Twan van Enckevort |
Refactoring UML models: using openarchitectureware to measure uml model quality and perform pattern matching on UML models with OCL queries. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
syntactic rules, UML, metrics, OCL, semantic rules, model quality |
43 | Luis Reynoso, José A. Cruz-Lemus, Marcela Genero, Mario Piattini |
Formal definition of measures for UML statechart diagrams using OCL. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
UML, measures, metamodeling, OCL, understandability, structural properties, formal definition, statechart diagrams |
43 | Stephan Weißleder, Bernd-Holger Schlingloff |
Quality of Automatically Generated Test Cases based on OCL Expressions. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
UML, Test Generation, OCL, Boundary, Coverage Criteria |
43 | Lina Nemuraite, Lina Ceponiene, Gediminas Vedrickas |
Representation of Business Rules in UML&OCL Models for Developing Information Systems. |
PoEM |
2008 |
DBLP DOI BibTeX RDF |
UML, constraint, invariant, event, OCL, Business rule, action, stereotype, condition |
43 | Djamel Berrabah, Faouzi Boufarès |
Constraints Checking in UML Class Diagrams: SQL vs OCL. |
DEXA |
2007 |
DBLP DOI BibTeX RDF |
constraint translation, SQL, OCL, conceptual schema |
43 | Miguel Garcia |
Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
EJB3QL, Metamodel, OCL, Static semantics |
43 | Detlef Streitferdt, Matthias Riebisch, Ilka Philippow |
Details of Formalized Relations in Feature Models Using OCL. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
feature constraints, variability, OCL, Feature modeling |
43 | Janis Putman |
Model for Fault Tolerance and Policy from RM-ODP Expressed in UML/OCL. |
ISORC |
2000 |
DBLP DOI BibTeX RDF |
fault tolerance, UML, policy, OCL, behavior, RM-ODP |
41 | Lotfi Bejaoui, François Pinet, Michel Schneider, Yvan Bédard |
An Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions with Broad Boundaries. |
ER |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Magali Duboisset, François Pinet, Myoung-Ah Kang, Michel Schneider |
Precise Modeling and Verification of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation Principles. |
ER |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Herman Balsters, George B. Huitema |
Semantics of Information Systems Outsourcing. |
OTM Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Stephan Flake, Wolfgang Müller 0003, Ulrich Pape, Jürgen Ruf |
Specification and Formal Verification of Temporal Properties of Production Automation Systems. |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Martin Gogolla, Mark Richters |
Development of UML Descriptions with USE. |
EurAsia-ICT |
2002 |
DBLP DOI BibTeX RDF |
|
41 | Philippe Collet, Roger Rousseau |
Towards Efficient Support for Executing the Object Constraint Language. |
TOOLS (30) |
1999 |
DBLP DOI BibTeX RDF |
Assertions Triggering and Evaluation, UML, Reliability, Implementation, Efficiency, Object Constraint Language |
41 | Ali Hamie, John Howse, Stuart Kent 0001 |
Interpreting the Object Constraint Language. |
APSEC |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Achim D. Brucker, Jordi Cabot, Adolfo Sánchez-Barbudo Herrera (eds.) |
Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 2, 2016. |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
39 | Horacio Hoyos Rodriguez, Dimitrios S. Kolovos |
Declarative Model Transformation Execution Planning. |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
39 | Antonio García-Domínguez, Dimitris S. Kolovos |
Models from Code, or Code as Models? |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
39 | Peiyuan Sun, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki 0001 |
Modeling and Reasoning with Multirelations, and their encoding in Alloy. |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
39 | Sina Madani, Dimitris S. Kolovos |
Re-Implementing Apache Thrift using Model-Driven Engineering Technologies: An Experience Report. |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
39 | Vincent Bertram, Alexander Roth 0004, Bernhard Rumpe, Michael von Wenckstern |
Extendable Toolchain for Automatic Compatibility Checks. |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
39 | Achim D. Brucker, Marina Egea, Martin Gogolla, Frédéric Tuong (eds.) |
Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015. |
OCL@MoDELS |
2015 |
DBLP BibTeX RDF |
|
39 | Ed Seidewitz, Jérémie Tatibouet |
Tool Paper: Combining Alf and UML in Modeling Tools - An Example with Papyrus -. |
OCL@MoDELS |
2015 |
DBLP BibTeX RDF |
|
39 | Arnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin Carton |
Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs. |
OCL@MoDELS |
2015 |
DBLP BibTeX RDF |
|
39 | Timo Kehrer, Christopher Pietsch, Udo Kelter, Daniel Strüber 0001, Steffen Vaupel |
An Adaptable Tool Environment for High-level Differencing of Textual Models. |
OCL@MoDELS |
2015 |
DBLP BibTeX RDF |
|
39 | Colin Atkinson 0001, Ralph Gerbig, Thomas Kühne 0001 |
Opportunities and Challenges for Deep Constraint Languages. |
OCL@MoDELS |
2015 |
DBLP BibTeX RDF |
|
39 | Jesús Sánchez Cuadrado |
Recursion and Iteration Support in USE Validator with AnATLyzer. |
OCL@MoDELS |
2015 |
DBLP BibTeX RDF |
|
39 | Achim D. Brucker, Carolina Dania, Geri Georg, Martin Gogolla (eds.) |
Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 30, 2014. |
OCL@MoDELS |
2014 |
DBLP BibTeX RDF |
|
39 | Ahmed Ahmed 0005, Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau |
CdmCL, a Specific Textual Constraint Language for Common Data Model. |
OCL@MoDELS |
2014 |
DBLP BibTeX RDF |
|
39 | Xabier De Carlos, Goiuria Sagardui, Salvador Trujillo |
MQT, an Approach for Run-Time Query Translation: From EOL to SQL. |
OCL@MoDELS |
2014 |
DBLP BibTeX RDF |
|
39 | Gergely Dévai, Gábor Ferenc Kovács, Ádám An |
Textual, Executable, Translatable UML. |
OCL@MoDELS |
2014 |
DBLP BibTeX RDF |
|
39 | Alexander Kraas |
Realizing Model Simplifications with QVT Operational Mappings. |
OCL@MoDELS |
2014 |
DBLP BibTeX RDF |
|
39 | Frédéric Jouault, Jérôme Delatour |
Towards Fixing Sketchy UML Models by Leveraging Textual Notations: Application to Real-Time Embedded Systems. |
OCL@MoDELS |
2014 |
DBLP BibTeX RDF |
|
39 | Marcos Arjona, Carolina Dania, Marina Egea, Antonio Maña |
Validation of a Security Metamodel for the Development of Cloud Applications. |
OCL@MoDELS |
2014 |
DBLP BibTeX RDF |
|
39 | Jordi Cabot, Martin Gogolla, István Ráth, Edward D. Willink (eds.) |
Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 30, 2013. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
39 | Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff |
On the Semantics of Object-Oriented Data Structures and Path Expressions. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
39 | Geri Georg, Lucy J. Troup |
Experiences Developing a Requirements Language Based on the Psychological Framework Activity Theory. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
39 | Lars Schütze, Claas Wilke, Birgit Demuth |
Tool-Supported Step-By-Step Debugging for the Object Constraint Language. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
39 | Carolina Dania, Manuel Clavel |
OCL2FOL+: Coping with Undefinedness. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
39 | Mira Balaban, Jordi Cabot, Martin Gogolla, Claas Wilke (eds.) |
Proceedings of the 12th Workshop on OCL and Textual Modelling, Innsbruck, Austria, September 30, 2012 |
OCL@MoDELS |
2012 |
DBLP BibTeX RDF |
|
39 | Arnaud Dieumegard, Andres Toom, Marc Pantel |
Model-based formal specification of a DSL library for a qualified code generator. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth 0001, István Ráth, Dániel Varró |
Ontology driven design of EMF metamodels and well-formedness constraints. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Filip Krikava, Philippe Collet |
On the use of an internal DSL for enriching EMF models. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Jens Brüning, Martin Kunert, Birger Lantow |
Modeling and executing ConcurTaskTrees using a UML and SOIL-based metamodel. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Renars Liepins |
Library for model querying: IQuery. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet |
Transformation rules from UML4MBT meta-model to SMT meta-model for model animation. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Tony Clark 0001, Jos Warmer (eds.) |
Object Modeling with the OCL, The Rationale behind the Object Constraint Language |
Object Modeling with the OCL |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Bran Selic |
Introduction. |
Object Modeling with the OCL |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Tony Clark 0001, Andy Evans, Stuart Kent 0001 |
A Meta-model Facility for a Family of UML Constraint Languages. |
Object Modeling with the OCL |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M. Simmonds |
XMI2USE: A Tool for Transforming XMI to USE Specifications. |
ER Workshops |
2009 |
DBLP DOI BibTeX RDF |
MDA, Model Transformation, OCL, USE, Modeling Tool, XMI |
38 | Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu 0001 |
Validation of requirement models by automatic prototyping. |
Innov. Syst. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
UML, Prototype, Code generation, OCL, Requirement validation |
38 | Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth 0002, Steffen Schlager, Peter H. Schmitt |
The KeY tool. |
Softw. Syst. Model. |
2005 |
DBLP DOI BibTeX RDF |
Java, UML, Formal specification, Formal verification, Design patterns, Object-oriented design, OCL |
38 | László Lengyel, Tihamer Levendovszky, Hassan Charaf |
Weaving Aspect-Oriented Constraints into Metamodel-Based Model Transformation Steps. |
Panhellenic Conference on Informatics |
2005 |
DBLP DOI BibTeX RDF |
Metamodel-Based Graph Transformation Steps, Aspect-Oriented Constraints, Crosscutting Constraints, Weaving AO Constraints, VMTS, OCL |
38 | Anneke Kleppe |
Towards General Purpose, High Level, Software Languages. |
ECMDA-FA |
2005 |
DBLP DOI BibTeX RDF |
UML, design patterns, programming language, MDA, model transformations, domain specific languages, OCL, Modeling language |
Displaying result #101 - #200 of 1079 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|