CiteULike: leonardo's Farias:A [0 articles]

Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

leonardo's tags

All tags in leonardo's library

Filter:

Only showing top 500 tags from 571 total.

Privacy Statement | Terms & Conditions

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

statecharts	673
2008	410
uml	376
_to_download	322
2007	300
2006	280
refinement	272
semantics	249
2005	188
2004	161
_to_download_springer	151
model_checking	148
2009	138
_marcia	120
2002	108
2003	107
_no_doi	94
csp	94
model_transformation	93
graph_transformation	83
2001	80
2000	71
refactoring	69
tests	65
alloy	56
1999	54
1998	52
_book	51
requirements	50
verification	45
software_architecture	41
aspects	37
z	35
1997	35
agents	33
formal	29
_folder_2	28
1996	27
reactive_systems	27
1995	27
ocl	25
tool	24
writing	24
transformation	24
b	23
umlrt	23
mdd	22
_to_review	22
1994	22
operational	21
petrinets	21
uml20	20
metamodel	20
bibtex-import	20
concurrent_systems	19
mda	19
survey	19
sos	18
equivalence	16
metamodelling	16
1993	15
nopdf	15
object	14
proof	14
statemate	14
for:marcia	13
1992	13
asm	13
qvt	12
communication	12
inheritance	12
years_later	11
circus	11
_to_appear	11
_folder_3	11
denotational	11
patterns	11
composition	11
_off	11
thesis	10
jcsp	10
1988	10
_folder_1	9
hierarchy	9
protocol	9
formal_methods	9
teaching	9
compaison	9
_to_print	9
socialnetwork	8
pvs	8
fdr	8
fsm	8
comparison	8
taxonomy	8
java	8
classic	8
concurrency	8
mu-charts	8
_missing	8
design_patterns	8
realtime	7
1990	7
model	7
syntax	7
1987	7
process_algebra	7
program_visualization	7
visualization	7
mde	7
visual_languages	7
specification	6
incremental	6
_no_pdf	6
1989	6
by_example	6
slicing	6
event-b	6
laws	5
formal_specification	5
triple_graph_grammars	5
mof	5
tools	5
validation	5
lts	5
analysis	5
model_merging	5
model_composition	4
semantic_variation	4
simulation	4
reactive_process	4
_mise2009	4
maude	4
seminal	4
mondex	4
_to_download_wiley	4
rhapsody	4
tutorial	4
1991	4
refinement_calculus	4
idioms	4
mechanized	4
concrete_syntax	4
oop	4
modelling	4
theorem_prover	4
consistency	4
utp	4
reuse	3
calculus	3
goals	3
hoare	3
safety	3
traces	3
code_generation	3
framework	3
objectz	3
agg	3
cre	3
program_transformation	3
chinese	3
checking	3
completeness	3
distributed	3
eclipse	3
language	3
history	3
product_lines	3
software_engineering	3
roadmap	3
algebraic	3
istar	3
metrics	3
overview	3
tool_integration	3
msc	3
web	3
mapping	3
algebraic_specification	3
translation	3
rules	3
graph	3
component	3
functional	3
graphical	3
spin	3
fujaba	3
axiomatic	3
empirical	3
xml	3
exception	3
behavior	3
mobile	2
model_refinement	2
pose	2
model_matching	2
variability	2
experiment	2
verilog	2
lightweight_formal_method	2
software_evolution	2
best_practice	2
ccs	2
web_applications	2
open-source	2
feature	2
emf	2
pi-calculus	2
distributed_systems	2
concurrent	2
1981	2
verified_software	2
1985	2
_to_download_ieee	2
oo	2
history_of	2
finite_model	2
casestudy	2
casl	2
methods	2
model_comparison	2
review	2
synchronization	2
jml	2
domain_modeling	2
behaviour_preservation	2
embedded_system	2
current_topics	2
objects	2
correctness	2
programming	2
assertion	2
performance	2
lessons_learned	2
impact-factor	2
checker	2
separation_logic	2
subtyping	2
stepwise	2
object-z	2
logics	2
_to_download_acm	2
bounded_verification	2
temporal_logic	2
hypertext	2
research	2
acme	2
viewcharts	2
citeulike	2
automation	2
_to_download_elsevier	2
constraint	2
citation	2
corba	2
traceability	2
behavior_inheritance	2
model_inconsistencies	2
physics	2
symbolic	2
constraints	2
understandability	2
1982	2
bibliography	2
conformance	2
manifesto	2
reasoning	2
msos	2
open_questions	2
appendix	2
inconsistency	2
recursion	2
biderectional	2
inspection	1
practice	1
1979	1
cspz	1
denotational_semantics	1
reverse_engineering	1
1967	1
publishing	1
operational_semantics	1
eiffel	1
bpel	1
design_decisions	1
priority	1
network	1
dpo	1
internet_applications	1
_conference	1
biology	1
modelcheking	1
novel_approach	1
control_conditions	1
business_rules	1
pim	1
modeling_paradigm	1
shared	1
system_evolution	1
java5	1
static_semantics	1
safe_message_passing	1
visual_formalism	1
psm	1
1972	1
ood	1
multi-formalism	1
sottware_architecture	1
eha	1
kaos	1
lsc	1
database	1
1969	1
diagram	1
macthing	1
abstraction	1
datatypes	1
decidable	1
provers	1
_event_mise	1
rll	1
synergy	1
events	1
dynalloy	1
health_care	1
model_based_design	1
application_conditions	1
applicability	1
_review	1
transformation_chain	1
model_integration	1
orthogonal_regions	1
free	1
jdi	1
adaptive_logics	1
abstract	1
file-import-08-11-22	1
event_processor	1
kleene_algebras	1
clustering	1
classroom	1
_to_download_taylor	1
relational	1
model_quality	1
unification	1
constraint_satisfaction_problem	1
weaving	1
origins	1
typed_attributed	1
qos	1
1975	1
re-engineering	1
behavioral_modeling	1
proof_assistant	1
ontology	1
debugging	1
model-based_testing	1
pre-uml	1
reverse	1
aadl	1
resources	1
reduction	1
_paper_2	1
class	1
euler_diagram	1
gap	1
first-order	1
programming_language_design	1
inconsistencies	1
heuristics	1
confluence	1
fundamental_technique	1
workflows	1
mechanical_verification	1
esterel	1
library	1
lotos	1
computability	1
editor	1
second-order	1
folksonomy	1
continuous	1
requirement	1
google	1
cryptography	1
reentrant	1
transformation_design	1
annotated_bibliography	1
tgg	1
grouping	1
deadlock	1
feature_models	1
web_services	1
symbolic_execution	1
reference_model	1
transformations	1
grand_challenge	1
small_model	1
1978	1
architectural_patterns	1
data_refinement	1
semantic_framework	1
constructionist	1
negotiation	1
constraint_satisfaction	1
retrospective	1
formal_verification	1
aircraft	1
cognition	1
modularization	1
constraint_solver	1
typing	1
systemc	1
lyee_calculus	1
hol	1
software	1
1976	1
use_cases	1
model_verification	1
layout	1
data_abstraction	1
evolution	1
annotations	1
fuzzy	1
behavioral_semantics	1
state_of_the_art	1
transformation_rules	1
problems	1
unifying_theories	1
hardcopy	1
maraton	1
block_diagrams	1
dependable_systems	1
interview	1
finite_state_machines	1
system_testing	1
viewpoint	1
presentation	1
tips	1
scale-free	1
scenarios	1
testing	1
sat	1
ptifalls	1
test_case_generation	1
mechatronic_uml	1
semantic_preservation	1
algebra	1
rule_transformation	1
stepwise_refinement	1
_talk	1
diagrams	1
coordination	1
istate	1
vdm	1
type_systems	1
formal_derivation	1
merging	1
umlformal_methods	1
owl	1
theory	1
modeling_languages	1
dependable_software	1
association	1
structural	1
quantifier_elimination	1
atl	1
symbolic_model_checking	1
codesign	1
industry	1
occam	1
omt	1
instance_model	1
pragmatics	1
alloy_analyzer	1
processes	1
frame_assertion	1
_on	1
semi_formal	1
large_scale	1
action_systems	1
proof_obligations	1
model-based	1
automated_deduction	1
mathematics	1
action_semantics	1
xmi	1
efsm	1
file-import-09-09-11	1
frame_conditions	1
evoting	1
test_specification_generation	1
process_modelling	1
essays	1
transformation_language	1
games	1
epsilion	1
animation	1
rest	1

leonardo's Farias:A [0 articles] Export Sort

leonardo's tags