MODELS 2007 - PDF Preprint Papers

MODELS 2007 Model Driven Engineering Languages and Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed MODELS-2007 Paper

click to vote

MODELS
2007
Springer

231views Natural Language Processing» more MODELS 2007»

A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software

14 years 5 months ago

Download squall.sce.carleton.ca

Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...

Gregory Zoughbi, Lionel C. Briand, Yvan Labiche

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	231	A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software	claim
2	213	Model Driven Development of Complex User Interface	claim
3	175	MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation	claim
4	166	Useware Modeling for Ambient Intelligent Production Environments	claim
5	166	11th International Workshop on Aspect-Oriented Modeling	claim
6	158	Modeling and Enforcing Advanced Access Control Policies in Healthcare Systems with Sectet	claim
7	149	Relating Navigation and Request Routing Models in Web Applications	claim
8	149	Statechart Development Beyond WYSIWYG	claim
9	143	Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions	claim
10	141	Using Domain-Specific Modeling to Generate User Interfaces for Wizards	claim
11	141	GrTP: Transformation Based Graphical Tool Building Platform	claim
12	136	Architectural Aspects in UML	claim
13	136	ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling	claim
14	133	Reconciling TGGs with QVT	claim
15	129	Deriving Operation Contracts from UML Class Diagrams	claim
16	125	Modeling Time(s)	claim
17	125	Model and Formalism Driven Development of Collaborative Applications	claim
18	124	Model-Driven Engineering for Software Migration in a Large Industrial Context	claim
19	123	Rigorously Defining and Analyzing Medical Processes: An Experience Report	claim
20	122	Deriving Input Partitions from UML Models for Automatic Test Generation	claim
21	121	Model-Based Design of Computer-Controlled Game Character Behavior	claim
22	118	Automatic Generation of Workflow-Extended Domain Models	claim
23	118	A Methodological Approach to Developing Model Transformations	claim
24	114	Introducing Variability into Aspect-Oriented Modeling Approaches	claim
25	111	A Metamodel-Based Approach for Analyzing Security-Design Models	claim
26	110	Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse	claim
27	108	Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications	claim
28	107	Finding the Pattern You Need: The Design Pattern Intent Ontology	claim
29	107	Transforming a Discourse Model to an Abstract User Interface Model	claim
30	106	A Generic Approach for Automatic Model Composition	claim
31	105	UML2Alloy: A Challenging Model Transformation	claim
32	105	Model-Driven Construction of Certified Binaries	claim
33	104	Constructive Techniques for Meta- and Model-Level Reasoning	claim
34	104	Model Based Reengineering Of User Interfaces	claim
35	102	Model-Based Run-Time Error Detection	claim
36	101	Matching Model-Snippets	claim
37	101	A UML2 Profile for Service Modeling	claim
38	101	Designing Syntax Embeddings and Assimilations for Language Libraries	claim
39	99	Slicing the Three-layer Architecture: A Semantic Foundation for Behavioural Specification	claim
40	98	Semantics Preserving Model Composition	claim
41	96	Aspect Oriented User Requirements Notation	claim
42	92	Guided Development with Multiple Domain-Specific Languages	claim
43	89	Magritte - A Meta-driven Approach to Empower Developers and End Users	claim
44	87	On Metamodeling in Megamodels	claim
45	84	Piecewise Modelling with State Subtypes	claim
46	83	Scenario Integration via the Transformation and Manipulation of Higher-order Graphs	claim
47	77	Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support	claim
48	76	Enhancing UML State Machines with Aspects	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers