R > Formal systems

publications (hide)6
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...

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
based
validation;
development
ruled-based
(artificial
programming;
{XMI}
architectures;
quality
Unified
structure
diagrams;
formal
system
component
{SysML}
ontology-based
requirements
automation;
driven
functional
development;
representation;
requirements;
object-oriented
specification;
Prolog;
Modeling
component-based
service;
{analysisOWL};
systems
cycle;
design
of
system;
Language
intelligence);
model
knowledge
language;
systems;
{UML/SysML}
ontologies
basedvalidation;developmentruled-based(artificialprogramming;{XMI}architectures;qualityUnifiedstructurediagrams;formalsystemcomponent{SysML}ontology-basedrequirementsautomation;drivenfunctionaldevelopment;representation;requirements;object-orientedspecification;Prolog;Modelingcomponent-basedservice;{analysisOWL};systemscycle;designofsystem;Languageintelligence);modelknowledgelanguage;systems;{UML/SysML}ontologies
copydeleteadd this publication to your clipboard
1Towards a language for coherent enterprise architecture descriptions
H. Jonkers, R. van Burren, F. Arbab, F. de Boer, M. Bonsangue, H. Bosma, H. ter Doest, L. Groenewegen, J. Scholten, S. Hoppenbrouwers and 8 other author(s). Enterprise Distributed Object Computing Conference, 2003. Proceedings. Seventh IEEE International, page 28-- 37. IEEE, (September 2003)
12 years ago by @fritzsolms
show all tags
Business
Unified
domain;
design;
Language;
corporate
concepts;
complicated
change
Software
architectural
Instruments;
modeling
organization-independent
Visualization;
description;
descriptions;
enterprise
description
uml;
modelling;
systems
processes;
processing;
Application
alignment;
Architecture
specification
communication;
application
generic
modeling;
formal
Architecture;
software;
requirements
Description
languages;
coherent
data
architecture;
analysis;
Wheels
science;
specification;
layer;
{business-IT}
Computer
business
language;
architecture
systems;
BusinessUnifieddomain;design;Language;corporateconcepts;complicatedchangeSoftwarearchitecturalInstruments;modelingorganization-independentVisualization;description;descriptions;enterprisedescriptionuml;modelling;systemsprocesses;processing;Applicationalignment;Architecturespecificationcommunication;applicationgenericmodeling;formalArchitecture;software;requirementsDescriptionlanguages;coherentdataarchitecture;analysis;Wheelsscience;specification;layer;{business-IT}Computerbusinesslanguage;architecturesystems;
copydeleteadd this publication to your clipboard
2A model-based tool for interactive prototyping of highly interactive applications
R. Bastide, D. Navarre, and P. Palanque. CHI '02 extended abstracts on Human factors in computing systems, page 516--517. Minneapolis, Minnesota, USA, ACM Press, (2002)
15 years ago by @ekstrand
show all tags
formal
systems
pending,
critical
safety
model-based
approaches,
techniques,
description
formalsystemspending,criticalsafetymodel-basedapproaches,techniques,description
copydeleteadd this publication to your clipboard
3Demonstrating the cognitive plausibility of interactive system specifications
R. Butterworth, A. Blandford, and D. Duke. Formal Aspects of Computing, 12 (4): 237--259 (December 2000)
16 years ago by @spdegabrielle
show all tags
(PUM);
User
plausibility;
Interaction
Formal
Electronic
Programmable
(HCI);
diary
modelling;
systems
Interactive
Cognitive
UCLIC
Modelling
Human-Computer
systems;
(PUM);Userplausibility;InteractionFormalElectronicProgrammable(HCI);diarymodelling;systemsInteractiveCognitiveUCLICModellingHuman-Computersystems;
copydeleteadd this publication to your clipboard
6Conceptual Information Systems Discussed Through an IT-Security Tool
K. Becker, G. Stumme, R. Wille, U. Wille, and M. Zickwolff. Knowledge Engineering and Knowledge Management. Methods, Models, and Tools., volume 1937 of LNAI, page 352-365. Heidelberg, Springer, (2000)
18 years ago by @grahl
show all tags
conceptual
formal
system
systems
fca
concept
it
analysis
security
information
lattices
conceptualformalsystemsystemsfcaconceptitanalysissecurityinformationlattices
copydeleteadd this publication to your clipboard
6Conceptual Information Systems Discussed Through an IT-Security Tool
K. Becker, G. Stumme, R. Wille, U. Wille, and M. Zickwolff. Knowledge Engineering and Knowledge Management. Methods, Models, and Tools., volume 1937 of LNAI, page 352-365. Heidelberg, Springer, (2000)
19 years ago by @stumme
show all tags
conceptual
myown
fca
concept
2000
it
analysis
security
formal
system
systems
OntologyHandbook
triadic
information
lattices
conceptualmyownfcaconcept2000itanalysissecurityformalsystemsystemsOntologyHandbooktriadicinformationlattices
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
⟩
⟩⟩

BibSonomy

publications (hide)6
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...

1Model Based Requirements Specification and Validation for Component Architectures

1Towards a language for coherent enterprise architecture descriptions

2A model-based tool for interactive prototyping of highly interactive applications

3Demonstrating the cognitive plausibility of interactive system specifications

6Conceptual Information Systems Discussed Through an IT-Security Tool

6Conceptual Information Systems Discussed Through an IT-Security Tool

related tags

tags

BibSonomy

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

1Model Based Requirements Specification and Validation for Component Architectures

1Towards a language for coherent enterprise architecture descriptions

2A model-based tool for interactive prototyping of highly interactive applications

3Demonstrating the cognitive plausibility of interactive system specifications

6Conceptual Information Systems Discussed Through an IT-Security Tool

6Conceptual Information Systems Discussed Through an IT-Security Tool

related tags

tags

publications (hide)6
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...