tag :: Software, ,

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)16
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...

2A survey on metric of software complexity
S. Yu, and S. Zhou. Information Management and Engineering (ICIME), 2010 The 2nd IEEE International Conference on, page 352 --356. (April 2010)
12 years ago by @fritzsolms
show all tags
,
Halstead,
codes;
complexity,
cyclomatic,
development;
lines,
metric;
metrics;
of
software,
,Halstead,codes;complexity,cyclomatic,development;lines,metric;metrics;ofsoftware,
(0)
copydeleteadd this publication to your clipboard
1A methodology for architecture-level reliability risk analysis
{. Yacoub, and {. Ammar. Software Engineering, IEEE Transactions on, 28 (6): 529 --547 (June 2002)
12 years ago by @fritzsolms
show all tags
,
Analysis;
Effect,
Failure},
Mode,
aggregation;
analysis,
analysis;
and,
architectural,
architecture,
architecture-level,
architecture;
assessment,
assessment;
attributes;
complexity,
complexity;
component,
components;
connector,
coupling,
development,
domain,
dynamic,
elements;
experts;
factor;
factors;
heuristic,
interactions;
judgement;
level;
lifecycle;
management,
management;
methodology;
metrics;
model;
models;
pacemaker,
plan;
product,
reliability,
reliability;
risk
risk,
scenarios;
severity,
software,
subjective,
techniques;
{FMEA;
,Analysis;Effect,Failure},Mode,aggregation;analysis,analysis;and,architectural,architecture,architecture-level,architecture;assessment,assessment;attributes;complexity,complexity;component,components;connector,coupling,development,domain,dynamic,elements;experts;factor;factors;heuristic,interactions;judgement;level;lifecycle;management,management;methodology;metrics;model;models;pacemaker,plan;product,reliability,reliability;riskrisk,scenarios;severity,software,subjective,techniques;{FMEA;
(0)
copydeleteadd this publication to your clipboard
2Towards Formalizing UML Activity Diagrams in CSP
D. Xu, N. Philbert, Z. Liu, and W. Liu. Computer Science and Computational Technology, 2008. ISCSCT '08. International Symposium on, 2, page 450 --453. (December 2008)
12 years ago by @fritzsolms
show all tags
,
Language;
UML},
Unified},
activity,
analysis;
behavior,
checking;
communicating,
design,
diagnostics;
formal,
model,
modeling,
official,
processes;
program,
semantics;
sequential,
software,
specification;
specifications;
stage;
system
{FDR;
{analysis;
{diagrams;
,Language;UML},Unified},activity,analysis;behavior,checking;communicating,design,diagnostics;formal,model,modeling,official,processes;program,semantics;sequential,software,specification;specifications;stage;system{FDR;{analysis;{diagrams;
(0)
copydeleteadd this publication to your clipboard
3Towards Model Transformation Generation By-Example
M. Wimmer, M. Strommer, H. Kargl, and G. Kramler. System Sciences, 2007. HICSS 2007. 40th Annual Hawaii International Conference on, page 285b --285b. (January 2007)
12 years ago by @fritzsolms
show all tags
,
approach;
automatic,
by-example,
data,
engineering;
formal,
inter-model,
language,
language;
languages;
mappings;
model,
model-driven,
modeling,
programming,
programming;
rules;
semantics;
software,
specification,
specification;
structure;
structures;
tools;
transformation
,approach;automatic,by-example,data,engineering;formal,inter-model,language,language;languages;mappings;model,model-driven,modeling,programming,programming;rules;semantics;software,specification,specification;structure;structures;tools;transformation
(0)
copydeleteadd this publication to your clipboard
2AcmeStudio: supporting style-centered architecture development
B. Schmerl, and D. Garlan. Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on, page 704 -- 705. (May 2004)
12 years ago by @fritzsolms
show all tags
,
Architecture,
Software,
architectural,
architecture;
design;
development;
domain-specific,
high-quality,
quality;
software;
style-centered,
style-neutral,
styles;
support;
tool,
tools
{AcmeStudio;
},
,Architecture,Software,architectural,architecture;design;development;domain-specific,high-quality,quality;software;style-centered,style-neutral,styles;support;tool,tools{AcmeStudio;},
(0)
copydeleteadd this publication to your clipboard
11A classification and comparison framework for software architecture description languages
N. Medvidovic, and {. Taylor. Software Engineering, IEEE Transactions on, 26 (1): 70 --93 (January 2000)
12 years ago by @fritzsolms
show all tags
,
Architecture,
architecture-based,
architecture;
classification,
description,
development;
formal,
framework;
interconnection,
interconnection;
languages;
modeling
module,
notations;
programming,
simulation;
software,
specification,
specification;
structure;
,Architecture,architecture-based,architecture;classification,description,development;formal,framework;interconnection,interconnection;languages;modelingmodule,notations;programming,simulation;software,specification,specification;structure;
(0)
copydeleteadd this publication to your clipboard
2Transformation from CIM to PIM Using Patterns and Archetypes
S. Kherraf, E. Lefebvre, and W. Suryn. Software Engineering, 2008. ASWEC 2008. 19th Australian Conference on, page 338 --346. (March 2008)
12 years ago by @fritzsolms
show all tags
,
Language;
Unified},
activity,
analysts;
archetypes;
architects;
architecture;
business,
components;
computation-independent,
data,
diagrams;
formal,
inter-enterprise,
model,
model-driven,
model;
modeling,
models;
platform-independent,
platform-specific,
processes;
processing;
requirement,
software,
specification;
system,
transformations;
{UML2}
{requirements;
,Language;Unified},activity,analysts;archetypes;architects;architecture;business,components;computation-independent,data,diagrams;formal,inter-enterprise,model,model-driven,model;modeling,models;platform-independent,platform-specific,processes;processing;requirement,software,specification;system,transformations;{UML2}{requirements;
(0)
copydeleteadd this publication to your clipboard
1Survey of software architecture description and usage in software industry of Pakistan
{. Gardazi, and {. Shahid. Emerging Technologies, 2009. ICET 2009. International Conference on, page 395 --402. (October 2009)
12 years ago by @fritzsolms
show all tags
,
Architecture,
Pakistan;
architecture;
description;
evaluation;
evolution;
industry;
software
software,
usage;
,Architecture,Pakistan;architecture;description;evaluation;evolution;industry;softwaresoftware,usage;
(0)
copydeleteadd this publication to your clipboard
2Strategic drivers of software quality: beyond external and internal software quality
R. Fitzpatrick. Quality Software, 2001. Proceedings.Second Asia-Pacific Conference on, page 65 --72. (2001)
12 years ago by @fritzsolms
show all tags
,
12207;
competitive,
conceptual
contractual,
cycle,
driver;
drivers;
investment;
investments;
legislation;
life,
management;
model;
on,
processes;
quality,
quality;
requirements;
return,
software,
star;
strategic,
support;
{ISO/IEC},
,12207;competitive,conceptualcontractual,cycle,driver;drivers;investment;investments;legislation;life,management;model;on,processes;quality,quality;requirements;return,software,star;strategic,support;{ISO/IEC},
(0)
copydeleteadd this publication to your clipboard
1Towards a Formal Behavioral Semantics for UML Interactions
L. Dan, and L. Danning. Information Science and Engineering (ISISE), 2010 International Symposium on, page 213 --218. (December 2010)
12 years ago by @fritzsolms
show all tags
,
Language;
QVT},
UML},
Unified},
and,
automated,
behavioral,
code,
communicating,
development;
diagrams;
driven,
engineering;
formal,
generation;
interaction,
machine-readable,
model,
modeling,
processes;
reasoning;
semantics;
sequential
software,
{2.0;
{CSP-based},
{Relations;
{execution;
{semantics;
,Language;QVT},UML},Unified},and,automated,behavioral,code,communicating,development;diagrams;driven,engineering;formal,generation;interaction,machine-readable,model,modeling,processes;reasoning;semantics;sequentialsoftware,{2.0;{CSP-based},{Relations;{execution;{semantics;
(0)
copydeleteadd this publication to your clipboard
2QVT Based Model Transformation from Sequence Diagram to CSP
L. Dan. Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on, page 349 --354. (March 2010)
12 years ago by @fritzsolms
show all tags
,
Language;
Model,
QVT},
Software,
UML},
Unified},
XMI},
XSLT},
based,
communicating,
development,
driven,
engineering;
formal,
graphical,
model,
modeling,
paradigm;
processes;
query-view-transformation,
rule-based,
sequence,
sequential,
software
style,
templates;
verification;
{CASE},
{MOF;
{diagrams;
{engine;
{file;
{syntax;
{tool;
{transformation;
,Language;Model,QVT},Software,UML},Unified},XMI},XSLT},based,communicating,development,driven,engineering;formal,graphical,model,modeling,paradigm;processes;query-view-transformation,rule-based,sequence,sequential,softwarestyle,templates;verification;{CASE},{MOF;{diagrams;{engine;{file;{syntax;{tool;{transformation;
(0)
copydeleteadd this publication to your clipboard
1A ten-year survey of software architecture
Y. Chen, X. Li, L. Yi, D. Liu, L. Tang, and H. Yang. Software Engineering and Service Sciences (ICSESS), 2010 IEEE International Conference on, page 729 --733. (July 2010)
12 years ago by @fritzsolms
show all tags
,
Architecture,
abstraction,
analysis;
architecture;
description,
design;
evaluation;
evolution;
languages;
level;
service-oriented
software,
,Architecture,abstraction,analysis;architecture;description,design;evaluation;evolution;languages;level;service-orientedsoftware,
(0)
copydeleteadd this publication to your clipboard
3The measurement of a design structural and functional complexity
D. Braha, and O. Maimon. Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on, 28 (4): 527 --535 (July 1998)
12 years ago by @fritzsolms
show all tags
,
assistants;
complexity;
definition;
design,
engineering;
functional,
intelligent
probability;
software,
structural,
,assistants;complexity;definition;design,engineering;functional,intelligentprobability;software,structural,
(0)
copydeleteadd this publication to your clipboard
1Designing Software Architectures to Achieve Quality Attribute Requirements
F. Bachmann, L. Bass, M. Klein, and C. Shelton. IEE Proceedings - Software, 152 (4): 153--165 (August 2005)
12 years ago by @fritzsolms
show all tags
,
Reasoning,
Software,
architectural,
architecture;
attribute,
design,
formal,
framework,
interaction;
knowledge;
method;
quality,
quality;
requirements;
specification
,Reasoning,Software,architectural,architecture;attribute,design,formal,framework,interaction;knowledge;method;quality,quality;requirements;specification
(0)
copydeleteadd this publication to your clipboard
1A Meta-ontology for Architecture Description Languages and MDA Platforms
A. Adel, and S. Adel. Computational Intelligence for Modelling Control Automation, 2008 International Conference on, page 118 --123. (December 2008)
12 years ago by @fritzsolms
show all tags
(artificial,
,
OntoArch;
architecture;
architecture}
description,
driven,
engineering;
heterogeneous,
implementation,
intelligence);
languages;
mda,
meta-ontology;
model,
ontologies,
ontology,
platforms;
software,
{platforms;
(artificial,,OntoArch;architecture;architecture}description,driven,engineering;heterogeneous,implementation,intelligence);languages;mda,meta-ontology;model,ontologies,ontology,platforms;software,{platforms;
(0)
copydeleteadd this publication to your clipboard
1Late Breaking papers at the Genetic and Evolutionary Computation Conference (GECCO-2002)
E. Cantú-Paz (Eds.) New York, NY, AAAI, (July 2002)
17 years ago by @brazovayeye
show all tags
,
Airline
Algorithm,
Ant
Architecture
Architectures,
Artificial
Assignment,
Automata
Automated
Cellular
Colony
Computation,
Dynamic
Evolutionary
Evolvable
Evolving
Fleet
Genetic
Hardware
Immune
Life,
Multi-Agent
Multiagent
Net,
Network
Neural
Optimisation,
Pattern
Planning,
Programming,
Recognition
Sensor,
Software,
System
Systems,
Testing,
algorithms,
genetic
,AirlineAlgorithm,AntArchitectureArchitectures,ArtificialAssignment,AutomataAutomatedCellularColonyComputation,DynamicEvolutionaryEvolvableEvolvingFleetGeneticHardwareImmuneLife,Multi-AgentMultiagentNet,NetworkNeuralOptimisation,PatternPlanning,Programming,RecognitionSensor,Software,SystemSystems,Testing,algorithms,genetic
(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)16
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...

2A survey on metric of software complexity

1A methodology for architecture-level reliability risk analysis

2Towards Formalizing UML Activity Diagrams in CSP

3Towards Model Transformation Generation By-Example

2AcmeStudio: supporting style-centered architecture development

11A classification and comparison framework for software architecture description languages

2Transformation from CIM to PIM Using Patterns and Archetypes

1Survey of software architecture description and usage in software industry of Pakistan

2Strategic drivers of software quality: beyond external and internal software quality

1Towards a Formal Behavioral Semantics for UML Interactions

2QVT Based Model Transformation from Sequence Diagram to CSP

1A ten-year survey of software architecture

3The measurement of a design structural and functional complexity

1Designing Software Architectures to Achieve Quality Attribute Requirements

1A Meta-ontology for Architecture Description Languages and MDA Platforms

1Late Breaking papers at the Genetic and Evolutionary Computation Conference (GECCO-2002)

browse

related tags

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

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

browse

related 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)16
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...