SIGN IN
SIGN UP
Model-driven development with predictable quality
Full Text:
PDF
Buy this Article
Authors:
James Ivers
Carnegie Mellon Software Engineering Institute, Pittsburgh, PA
Gabriel A. Moreno
Carnegie Mellon Software Engineering Institute, Pittsburgh, PA
Published in:
· Proceeding
OOPSLA '07
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Pages 874-875
ACM
New York, NY
, USA
©2007
table of contents
ISBN: 978-1-59593-865-7
doi>
10.1145/1297846.1297933
2007 Article
Bibliometrics
· Downloads (6 Weeks): 0
· Downloads (12 Months): 8
· Downloads (cumulative): 233
· Citation Count: 4
Tools and Resources
Buy this Article
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Upcoming Conference:
SPLASH '13
Share:
|
Tags:
components
correctness proofs
design
model checking
model checking
model-driven development
modeling techniques
performance
performance
predictable assembly
reliability
security
verification
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder