H > formal | BibSonomy

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

2Autonomic-Computing Approach to Secure Knowledge Management: A Game-Theoretic Analysis
H. Arora, B. Mishra, and T. Raghu. Systems, Man and Cybernetics, Part A, IEEE Transactions on, 36 (3): 487--497 (2006)
18 years ago by @neilernst
show all tags
formal
management
knowledge
formalmanagementknowledge
copydeleteadd this publication to your clipboard
3Techniques, Tools and Formalisms for Capturing and Assessing Architectural Quality in Object-Oriented Software
I. Borne, F. e Abreu, W. Meuter, and G. Galal. ECOOP 1998 Workshop Reader, volume 1543 of Lecture Notes in Computer Science, page 44-71. Springer-Verlag, (1998)
17 years ago by @tommens
show all tags
formal
software
architecture
quality
OO
formalsoftwarearchitecturequalityOO
copydeleteadd this publication to your clipboard
2Toward a Formalization of BPEL 2.0 : An Algebra Approach
L. Boumlik, M. Mejri, and H. Boucheneb. https://aircconline.com/ijwsc/V11N1/11120ijwsc01.pdf, Heidelberg, 2 edition, (March 2020)
9 months ago by @ijwsc
show all tags
Services
orchestration
Web
2.0
Semantics
Operational
methods
Formal
Process
Algebra
WS-BPEL
ServicesorchestrationWeb2.0SemanticsOperationalmethodsFormalProcessAlgebraWS-BPEL
copydeleteadd this publication to your clipboard
2Toward a Formalization of BPEL 2.0 : An Algebra Approach
L. Boumlik, M. Mejri, and H. Boucheneb. International Journal on Web Service Computing (IJWSC), 11 (1): 01-20 (March 2020)
4 years ago by @ijwsc
show all tags
Services
orchestration
Web
2.0
Semantics
Operational
methods
Formal
Process
Algebra
WS-BPEL
ServicesorchestrationWeb2.0SemanticsOperationalmethodsFormalProcessAlgebraWS-BPEL
copydeleteadd this publication to your clipboard
1An experimental investigation of formality in UML-based development
L. Briand, Y. Labiche, M. Penta, and H. Yan-Bondoc. Software Engineering, IEEE Transactions on, 31 (10): 833--849 (October 2005)
12 years ago by @fritzsolms
show all tags
handling;
natural
analysis
{UML}
{UML-based}
Unified
formal
system
model;
condition;
constraint
object
languages;
development;
guard
object-oriented
specification;
logic;
verification;
Modeling
statechart
functionality;
Language
language;
programming
handling;naturalanalysis{UML}{UML-based}Unifiedformalsystemmodel;condition;constraintobjectlanguages;development;guardobject-orientedspecification;logic;verification;Modelingstatechartfunctionality;Languagelanguage;programming
copydeleteadd this publication to your clipboard
1Benefits of Entrepreneurship, an Analysis for Its Determination
D. Bustillos-Varela. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 6 (1): 1684-1688 (December 2021)
2 years ago by @ijtsrd
show all tags
Business
Self-employment
Progress
in
Opportunity
Entrepreneurship
Formal
BusinessSelf-employmentProgressinOpportunityEntrepreneurshipFormal
copydeleteadd this publication to your clipboard
1Formal concept analysis and hierarchical classes analysis
Y. Chen, and Y. Yao. Proceedings of the 24 th International Conference of NAFIPS ' 05, page 276-281. (2005)
18 years ago by @chen115y
show all tags
Hierarchical
Analysis
Class
Formal
Concept
HierarchicalAnalysisClassFormalConcept
copydeleteadd this publication to your clipboard
2Formal Concept Analysis based on Hierarchical Class Analysis
Y. Chen, and Y. Yao. Proceedings of The 4 th IEEE International Conference on Cognitive Informatics(ICCI 05), page 285-292. (2005)
18 years ago by @chen115y
show all tags
Hierarchical
Analysis
Class
Formal
Concept
HierarchicalAnalysisClassFormalConcept
copydeleteadd this publication to your clipboard
1Four domains for concurrency
J. de Bakker, and J. Warmerdam. Theor. Comput. Sci., (November 1991)
13 years ago by @gron
show all tags
formal
models
domains
Omni
theory
formalmodelsdomainsOmnitheory
copydeleteadd this publication to your clipboard
1Formal Verification of Ad-Hoc Routing Protocols Using SPIN Model Checker
R. de Renesse, and A. Aghvami. IEEE MELECON, (2004)
14 years ago by @msteele
show all tags
formal
routing
SPIN
ad-hoc
verification
formalroutingSPINad-hocverification
copydeleteadd this publication to your clipboard
1Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
H. Ehrig, and K. Ehrig. Electronic Notes in Theoretical Computer Science, (March 2006)
16 years ago by @leonardo
show all tags
formal
graph_transformation
_mise2009
2006
survey
model_transformation
formalgraph_transformation_mise20092006surveymodel_transformation
copydeleteadd this publication to your clipboard
1Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
H. Ehrig, and K. Ehrig. Electronic Notes in Theoretical Computer Science, (March 2006)
16 years ago by @leonardo
show all tags
formal
\_pdf
2006
graph\_transformation
survey
\_mise2009
model\_transformation
formal\_pdf2006graph\_transformationsurvey\_mise2009model\_transformation
copydeleteadd this publication to your clipboard
2Text Schema Mining Using Graphs and Formal Concept Analysis.
F. Gatzemeier, and O. Meyer. Proceedings of the 10th International Conference on Conceptual Structures (ICCS 2002), volume 2393 of Lecture Notes in Computer Science, page 107-121. Springer, (2002)
17 years ago by @iccs
show all tags
conceptual
formal
schema
fca
graphs
cg
mining
2002
concept
iccs
text
analysis
conceptualformalschemafcagraphscgmining2002concepticcstextanalysis
copydeleteadd this publication to your clipboard
1Darstellung geordneter Mengen als additives Liniendiagramm.
H. Grüning. TH Darmstadt, (1987)
18 years ago by @stumme
show all tags
tu
formal
fca
begriffsanalyse
fba
forschungsgruppe
concept
darmstadt
formale
ag1
analysis
lattices
tuformalfcabegriffsanalysefbaforschungsgruppeconceptdarmstadtformaleag1analysislattices
copydeleteadd this publication to your clipboard
1Using formal specifications to support testing.
R. Hierons, K. Bogdanov, J. Bowen, R. Cleaveland, J. Derrick, J. Dick, M. Gheorghe, M. Harman, K. Kapoor, P. Krause and 5 other author(s). ACM Comput. Surv., (2009)
13 years ago by @jpbowen
show all tags
formal
myown
specifications
software
methods
testing
engineering
support
formalmyownspecificationssoftwaremethodstestingengineeringsupport
copydeleteadd this publication to your clipboard
1Challenges to multiple testing in clinical trials.
H. Hung, and S. Wang. Biometrical journal. Biometrische Zeitschrift, 52 (6): 747-56 (December 2010)5861<m:linebreak></m:linebreak>Comparacions múltiples.
2 years ago by @jepcastel
show all tags
SocialControl
TimeFactors
ResearchDesign
Humans
Statistical
Formal
ClinicalTrialsasTopic
DataInterpretation
TreatmentOutcome
EndpointDetermination
ClinicalTrialsasTopic:methods
SocialControlTimeFactorsResearchDesignHumansStatisticalFormalClinicalTrialsasTopicDataInterpretationTreatmentOutcomeEndpointDeterminationClinicalTrialsasTopic:methods
copydeleteadd this publication to your clipboard
3Behavioral views for software requirements engineering
A. Isazadeh, D. Lamb, and G. Macewen. Workshop on Engineering of Computer-Based Systems, page 300--307. (1996)
19 years ago by @neilernst
show all tags
formal
requirements
views
formalrequirementsviews
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
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
Humans;
Dictionaries;
specification
Software;
Frame;
quality
formal
Security;
Analysis;
semiformal
Software
requirements
Spectral
Compounds;
Instruments;
functional
{X-JRDL}
languages;
analysis;
requirements;
specification;
Spectrum
Case
Requirements
frames;
quality;
language;
Humans;Dictionaries;specificationSoftware;Frame;qualityformalSecurity;Analysis;semiformalSoftwarerequirementsSpectralCompounds;Instruments;functional{X-JRDL}languages;analysis;requirements;specification;SpectrumCaseRequirementsframes;quality;language;
copydeleteadd this publication to your clipboard
1Understanding Separation of Concerns
H. Milli. In Workshop on Early Aspects - Aspect Oriented Software Development (AOSD’04), (2004)
16 years ago by @ericbouwers
show all tags
formal
SoC
definition
formalSoCdefinition
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
2
⟩
⟩⟩

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

related tags

tags

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