fritzsolms > formal quality

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

No matching posts.

⟨⟨
⟨
⟩
⟩⟩

publications (hide)12
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

2QoS modeling language for high quality systems
M. de Miguel. Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003., page 210--216. IEEE, (January 2003)
12 years ago by @fritzsolms
show all tags
Architecture;
Group;
Management
OMG;
Object
QoS
QoS-aware
Quality
Real
Resource
Software
Timing;
UML
Unified
Vocabulary
description
extension;
fault
formal
high
interface
language;
languages;
management;
mathematical
metamodel;
model;
modeling
modeling;
object-oriented
of
oriented
programming;
quality
service;
specification
specification;
system;
systems;
time
tolerance;
Architecture;Group;ManagementOMG;ObjectQoSQoS-awareQualityRealResourceSoftwareTiming;UMLUnifiedVocabularydescriptionextension;faultformalhighinterfacelanguage;languages;management;mathematicalmetamodel;model;modelingmodeling;object-orientedoforientedprogramming;qualityservice;specificationspecification;system;systems;timetolerance;
(0)
copydeleteadd this publication to your clipboard
2Model Based Development of Quality-Aware Software Services
M. de Miguel, P. Massonet, J. Silva, and J. Briones. 2008 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), page 563--569. IEEE, (May 2008)
12 years ago by @fritzsolms
show all tags
Application
Architecture;
Assembly;
Computer
Monitoring;
Quality
Runtime;
Software
architecture;
architectures;
based
checking;
development;
engineering;
formal
languages
languages;
management;
model
modelling
of
quality
quality-aware
quality;
requirements;
service;
services;
software
software;
specification
specification;
support;
verification;
{QoS};
ApplicationArchitecture;Assembly;ComputerMonitoring;QualityRuntime;Softwarearchitecture;architectures;basedchecking;development;engineering;formallanguageslanguages;management;modelmodellingofqualityquality-awarequality;requirements;service;services;softwaresoftware;specificationspecification;support;verification;{QoS};
(0)
copydeleteadd this publication to your clipboard
2General framework for the description of QoS in UML
M. de Miguel. Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003, page 61--68. IEEE, (May 2003)
12 years ago by @fritzsolms
show all tags
Delay;
Jitter;
Object
Pattern
QoS
Quality
Real
Telecommunications;
Unified
description;
distributed
fault
formal
language
languages;
management;
methods;
modeling
modeling;
object
object-oriented
of
oriented
quality
recognition;
service;
specification
specification;
system
systems;
time
tolerance;
uml;
Delay;Jitter;ObjectPatternQoSQualityRealTelecommunications;Unifieddescription;distributedfaultformallanguagelanguages;management;methods;modelingmodeling;objectobject-orientedoforientedqualityrecognition;service;specificationspecification;systemsystems;timetolerance;uml;
(0)
copydeleteadd this publication to your clipboard
2Inspection effectiveness for different quality attributes of software requirement specifications: An industrial case study
F. Salger, G. Engels, and A. Hofmann. ICSE Workshop on Software Quality, 2009. WOSQ '09, page 15--21. IEEE, (May 2009)
12 years ago by @fritzsolms
show all tags
Architecture;
Computer
Costs;
Information
Inspection;
Large-scale
Productivity;
Quality
Software
assurance
assurance;
business
data
design;
formal
gate
industry;
processing;
quality
quality;
requirements
software
specification
specification;
specifications;
systems;
technique;
Architecture;ComputerCosts;InformationInspection;Large-scaleProductivity;QualitySoftwareassuranceassurance;businessdatadesign;formalgateindustry;processing;qualityquality;requirementssoftwarespecificationspecification;specifications;systems;technique;
(0)
copydeleteadd this publication to your clipboard
2Specification of Non-functional Requirements for Contract Specification in the NGOSS Framework for Quality Management and Product Evaluation
X. Liu, M. Azmoodeh, and N. Georgalas. Fifth International Workshop on Software Quality, 2007. WoSQ'07: ICSE Workshops 2007, page 7--7. IEEE, (May 2007)
12 years ago by @fritzsolms
show all tags
Application
Communication
Computer
Contracts;
Heart;
Quality
Software
Supply
Telecommunications
application;
architecture;
chain
computing;
contract
evaluation;
formal
framework;
industry;
management;
nonfunctional
operation
product
qualitative
quality;
quantitative
requirements;
science;
service
software;
specification;
support
system;
telecom
telecommunication
{NGOSS}
ApplicationCommunicationComputerContracts;Heart;QualitySoftwareSupplyTelecommunicationsapplication;architecture;chaincomputing;contractevaluation;formalframework;industry;management;nonfunctionaloperationproductqualitativequality;quantitativerequirements;science;servicesoftware;specification;supportsystem;telecomtelecommunication{NGOSS}
(0)
copydeleteadd this publication to your clipboard
3Managing Model Quality in UML-Based Software Development
{. Lange, and {. Chaudron. Software Technology and Engineering Practice, 2005. 13th IEEE International Workshop on, page 7--16. (2005)
12 years ago by @fritzsolms
show all tags
Language
Modeling
Unified
development;
formal
improvement;
management;
model
quality
quality;
software
specification;
{qualityUML-based}
LanguageModelingUnifieddevelopment;formalimprovement;management;modelqualityquality;softwarespecification;{qualityUML-based}
(0)
copydeleteadd this publication to your clipboard
2Quality Requirements Analysis Using Requirements Frames
H. Kaiya, and A. Ohnishi. 2011 11th International Conference on Quality Software (QSIC), page 198--207. IEEE, (July 2011)
12 years ago by @fritzsolms
show all tags
Analysis;
Case
Compounds;
Dictionaries;
Frame;
Humans;
Instruments;
Requirements
Security;
Software
Software;
Spectral
Spectrum
analysis;
formal
frames;
functional
language;
languages;
quality
quality;
requirements
requirements;
semiformal
specification
specification;
{X-JRDL}
Analysis;CaseCompounds;Dictionaries;Frame;Humans;Instruments;RequirementsSecurity;SoftwareSoftware;SpectralSpectrumanalysis;formalframes;functionallanguage;languages;qualityquality;requirementsrequirements;semiformalspecificationspecification;{X-JRDL}
(0)
copydeleteadd this publication to your clipboard
1Model Based Requirements Specification and Validation for Component Architectures
I. Cardei, M. Fonoage, and R. Shankar. Systems Conference, 2008 2nd Annual IEEE, page 1--8. (April 2008)
12 years ago by @fritzsolms
show all tags
(artificial
Language
Modeling
Prolog;
Unified
architectures;
automation;
based
component
component-based
cycle;
design
development
development;
diagrams;
driven
formal
functional
intelligence);
knowledge
language;
model
object-oriented
of
ontologies
ontology-based
programming;
quality
representation;
requirements
requirements;
ruled-based
service;
specification;
structure
system
system;
systems
systems;
validation;
{SysML}
{UML/SysML}
{XMI}
{analysisOWL};
(artificialLanguageModelingProlog;Unifiedarchitectures;automation;basedcomponentcomponent-basedcycle;designdevelopmentdevelopment;diagrams;drivenformalfunctionalintelligence);knowledgelanguage;modelobject-orientedofontologiesontology-basedprogramming;qualityrepresentation;requirementsrequirements;ruled-basedservice;specification;structuresystemsystem;systemssystems;validation;{SysML}{UML/SysML}{XMI}{analysisOWL};
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
⟩
⟩⟩

BibSonomy

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)12
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

2QoS modeling language for high quality systems

2Model Based Development of Quality-Aware Software Services

2General framework for the description of QoS in UML

2Inspection effectiveness for different quality attributes of software requirement specifications: An industrial case study

2Specification of Non-functional Requirements for Contract Specification in the NGOSS Framework for Quality Management and Product Evaluation

3Managing Model Quality in UML-Based Software Development

2Quality Requirements Analysis Using Requirements Frames

1Model Based Requirements Specification and Validation for Component Architectures

browse

related tags

concepts

tags

bookmarks (hide) displayallbookmarks onlybookmarks per page5102050100 sort byadded attitle RSSBibTeXXML

publications (hide)12 displayallpublications onlypublications per page5102050100 sort byadded attitleauthorpublication dateentry typehelp for advanced sorting... RSSBibTeXRDFmore...

browse

related tags

tags

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)12
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...