leonardo's 1998 [52 articles] Export

Recent papers added to leonardo's library classified by the tag 1998. You can also see everyone's 1998.

	Some mistakes I have and what I have learned from them [My Copy] Fundamental Approaches to Software Engineering (1998), pp. 7-20. by Cliff Jones posted to years_later 1998 by leonardo on 2009-09-16 13:06:01 as
	Transformation rules based on meta-modeling [My Copy] Enterprise Distributed Object Computing Workshop, 1998. EDOC '98. Proceedings. Second International In Enterprise Distributed Object Computing Workshop, 1998. EDOC '98. Proceedings. Second International (1998), pp. 113-122. by R. Lemesle posted to 1998 metamodel model_transformation by leonardo on 2009-02-13 15:14:52 as
	Transforming UML models to Formal Specifications [My Copy] (1998) by Jean-Michel Bruel, Robert B. France posted to 1998 model_transformation statecharts uml _to_download by leonardo on 2009-02-08 14:27:49 as
	Statecharts to specify the control of automated manufacturing systems [My Copy] International Journal of Production Research, Vol. 36, No. 11. (1 November 1998), pp. 3183-3215. by J. C. Marty, A. E. K. Sahraoui, M. Sartor posted to statecharts 1998 _to_download by leonardo on 2009-02-03 15:26:31 as
	Industrial Integration of Graphical and Formal Specifications [My Copy] Journal of Systems and Software (March 1998), pp. 211-225. by J. Armstrong posted to 1998 formal graphical specification by leonardo on 2009-02-03 15:15:15 as
	Winskel is (almost) Right: Towards a Mechanized Semantics Textbook [My Copy] Formal Aspects of Computing, Vol. 10, No. 2. (21 November 1998), pp. 171-186. by Tobias Nipkow posted to 1998 denotational mechanized operational semantics by leonardo on 2008-12-15 00:26:58 as
	The Art of Computer Programming 3. Sorting and Searching: The Classic Work Newly Updated and Revised [My Copy] (23 June 1998) by Donald E. Knuth posted to _book _marcia 1998 by leonardo on 2008-12-13 13:53:48 as along with 13 people Jingbo jmmcg gakincho toomash dsquared ddahlem sdvillal myui ismailfatih rpruim chandlerc Chrono germoglio
	Towards a calculus for UML-RT specifications [My Copy] (1998) by R. Grosu, M. Broy, B. Selic, G. Stefanescu posted to uml 1998 by leonardo on 2008-07-26 19:44:23 as
	Design patterns and language design [My Copy] Computer In Computer, Vol. 31, No. 3. (1998), pp. 118-120. by J. Gil, D. H. Lorenz posted to 1998 by leonardo on 2008-05-26 16:18:40 as along with 1 person klinsz
	Specifying frameworks and design patterns as architectural fragments [My Copy] Technology of Object-Oriented Languages, 1998. TOOLS 27. Proceedings In Technology of Object-Oriented Languages, 1998. TOOLS 27. Proceedings (1998), pp. 268-277. by J. Bosch posted to 1998 by leonardo on 2008-05-26 16:18:18 as along with 1 person klinsz
	Formal Definition and Refinement of UMLâ€™s Module/Package Concept [My Copy] Object-Oriented Technologys (1998), pp. 211-215. by Andy Schürr, Andreas Winter posted to refinement _to_download 1998 by leonardo on 2008-04-28 22:04:15 as
	A Software Architecture Evaluation Model [My Copy] Development and Evolution of Software Architectures for Product Families (1998), pp. 148-157. by Juan Dueñas, William de Oliveira, Juan de la Puente posted to _marcia model_checking _to_download 1998 by leonardo on 2008-04-13 02:03:06 as
	Formal Methods for Component Software: The Refinement Calculus Perspective [My Copy] Object-Oriented Technologys (1998), pp. 332-337. by Martin Büchi, Emil Sekerinski posted to _to_download_springer refinement 1998 by leonardo on 2008-03-13 18:45:29 as along with 1 person michaelbanks
	How to combine Z with a process algebra [My Copy] ZUM '98: The Z Formal Specification Notation (1998), pp. 5-23. by Clemens Fischer posted to _to_download 1998 by leonardo on 2008-03-08 16:33:00 as
	Model-checking CSP-Z [My Copy] Fundamental Approaches to Software Engineering In Lecture Notes in Computer Science, Vol. 1382 (1998), pp. 205-220. by Alexandre Mota, Augusto Sampaio edited by Egidio Astesiano posted to 1998 csp cspz model_checking z by leonardo on 2008-03-08 16:31:55 as along with 1 person and 1 group mishra_satish SRG
	Efficient Formal Verification of Hierarchical Descriptions [My Copy] Foundations of Software Technology and Theoretical Computer Science (1998), pp. 269-269. by Rajeev Alur posted to _no_doi _to_download 1998 by leonardo on 2008-03-05 01:31:24 as
	A metamodel for object-oriented statecharts [My Copy] (1998) by S. Mann, Marcus Klar posted to 1998 metamodel oo statecharts by leonardo on 2008-01-30 14:27:20 as
	The Need for Compositional Proof Systems: A Survey [My Copy] Compositionality: The Significant Difference (1998), pp. 1-22. by Willem P. de Roever posted to 1998 by leonardo on 2008-01-23 01:48:30 as
	Experience with Formal Specification of CMM and UML [My Copy] Object-Oriented Technologys (1998), pp. 216-220. by Jos Warmer, John Hogg, Steve Cook, Bran Selic posted to _to_download_springer uml 1998 by leonardo on 2008-01-15 13:58:30 as
	Formalising Object-Oriented Models in the Object Calculus [My Copy] Object-Oriented Technologys (1998), pp. 155-160. by J. C. Bicarregui, Kevin Lano, Tom Maibaum posted to 1998 by leonardo on 2008-01-15 13:52:38 as
	Unification of the Models for Types, Classes and State Machines [My Copy] Object-Oriented Technologys (1998a), pp. 169-172. by Gary Daugherty posted to _to_download_springer 1998 by leonardo on 2008-01-15 13:51:05 as
	Alternating refinement relations [My Copy] CONCUR'98 Concurrency Theory (1998), pp. 163-178. by Rajeev Alur, Thomas Henzinger, Orna Kupferman, Moshe Vardi posted to _to_download_springer refinement 1998 by leonardo on 2008-01-06 21:04:56 as
	Model Checking Large Software Specifications [My Copy] IEEE Trans. Softw. Eng., Vol. 24, No. 7. (July 1998), pp. 498-520. by William Chan, Richard J. Anderson, Paul Beame, et al.Steve Burns, Francesmary Modugno, David Notkin, Jon D. Reese posted to 1998 model_checking by leonardo on 2007-12-31 14:05:04 as along with 1 person shimomura
	Exploiting the statechart in interactive learning systems authoring [My Copy] Computer Human Interaction Conference, 1998. Proceedings. 1998 Australasian In Computer Human Interaction Conference, 1998. Proceedings. 1998 Australasian (1998), 340. by Pak W. Fung, R. H. Kemp, E. A. Kemp posted to 1998 statecharts by leonardo on 2007-12-05 23:22:31 as
	Compositional verification of reactive systems specified by graph transformation [My Copy] Fundamental Approaches to Software Engineering (1998), pp. 138-153. by Reiko Heckel posted to 1998 graph_transformation reactive_systems by leonardo on 2007-08-23 10:46:20 as
	BUGS in Writing: A Guide to Debugging Your Prose (2nd Edition) [My Copy] (09 February 1998) by Lyn Dupre posted to no-tag 1998 _book writing by leonardo on 2007-08-17 15:23:47 as
	Refinement Calculus: A Systematic Introduction (Texts in Computer Science) [My Copy] (13 April 1998) by Ralph J. Back, Joakim Wright posted to no-tag 1998 _book calculus refinement by leonardo on 2007-04-26 05:38:50 as along with 1 person mishra_satish
	Specifying and Refining Internal Operations in Z [My Copy] Formal Aspects of Computing, Vol. V10, No. 2. (28 February 1998), pp. 125-159. by John Derrick, Eerke Boiten, Howard Bowman, Maarten Steen posted to 1998 concurrency process_algebra refinement z by leonardo on 2006-10-16 18:43:53 as
	The specification and refinement of an environmental model [My Copy] Lecture Notes in Computer Science : ZUM '98: The Z Formal Specification Notation (1998), pp. 24-41. by Bill Stoddart posted to 1998 refinement z by leonardo on 2006-10-14 01:25:47 as
	Communicating Reactive State Machines: Design, Model and Implementation [My Copy] (1998) by S. Ramesh posted to 1998 _to_download _to_review bibtex-import reactive_process statecharts by leonardo on 2006-10-13 18:50:32 as
	Tamagotchis need not die â€” Verification of statemate designs [My Copy] Lecture Notes in Computer Science : Tools and Algorithms for the Construction and Analysis of Systems (1998), pp. 217-231. by Udo Brockmeyer, Gunnar Wittich posted to 1998 statecharts statemate verification by leonardo on 2006-10-12 18:47:21 as
	Hierarchical concurrent finite state machines in Ptolemy [My Copy] Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on (1998), pp. 34-40. by Bilung Lee, E. A. Lee posted to 1998 semantics statecharts by leonardo on 2006-10-09 15:50:56 as
	Visual formalisms revisited [My Copy] Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on (1998), pp. 41-51. by Radu Grosu, Gheorghe Stefanescu, Manfred Broy posted to 1998 semantics statecharts by leonardo on 2006-10-09 15:28:07 as
	Statecharts supervision models for soft real-time systems [My Copy] Application-Specific Software Engineering Technology, 1998. ASSET-98. Proceedings. 1998 IEEE Workshop on (1998), pp. 54-59. by Antônio posted to 1998 statecharts realtime by leonardo on 2006-10-09 14:12:48 as
	Testing concurrency and communication in distributed objects [My Copy] High Performance Computing, 1998. HIPC '98. 5th International Conference On (1998), pp. 422-428. by A. Bader, A. S. M. Sajeev, S. Ramakrishnan posted to 1998 concurrent_systems statecharts tests by leonardo on 2006-10-09 13:39:07 as
	Extending statecharts with temporal logic [My Copy] Software Engineering, IEEE Transactions on, Vol. 24, No. 3. (1998), pp. 216-231. by A. Sowmya, S. Ramesh posted to 1998 statecharts temporal_logic by leonardo on 2006-10-08 19:45:29 as
	A modular visual model for hybrid systems [My Copy] Lecture Notes in Computer Science : Formal Techniques in Real-Time and Fault-Tolerant Systems (1998), pp. 75-91. by Radu Grosu, Thomas Stauner, Manfred Broy posted to 1998 statecharts by leonardo on 2006-10-07 02:29:07 as
	Graphical design of reactive systems [My Copy] Lecture Notes in Computer Science : BâÂ€Â™98: Recent Advances in the Development and Use of the B Method (1998), pp. 182-197. by Emil Sekerinski posted to 1998 graphical reactive_systems statecharts by leonardo on 2006-10-07 01:03:23 as
	The Synchronous Approach to Designing Reactive Systems [My Copy] Formal Methods in System Design, Vol. V12, No. 2. (1 March 1998), pp. 163-187. by Axel Poigné, Matthew Morley, Olivier Maffeïs, Leszek Holenderski, Reinhard Budde posted to 1998 reactive_systems statecharts by leonardo on 2006-10-07 01:01:12 as
	Statecharts in use: structured analysis and object-orientation [My Copy] Lecture Notes in Computer Science : Lectures on Embedded Systems (1998), pp. 368-394. by Bruce P. Douglass, David Harel, Mark Trakhtenbrot posted to object statecharts 1998 by leonardo on 2006-10-06 23:17:59 as
	Specifying safety-critical embedded systems with statecharts and Z: A case study [My Copy] Lecture Notes in Computer Science : Fundamental Approaches to Software Engineering (1998), pp. 71-87. by Robert Büssow, Robert Geisler, Marcus Klar posted to 1998 statecharts z by leonardo on 2006-10-06 23:09:45 as
	A refinement calculus for statecharts [My Copy] Lecture Notes in Computer Science : Fundamental Approaches to Software Engineering (1998), pp. 285-301. by Peter Scholz posted to no-tag 1998 refinement semantics statecharts by leonardo on 2006-10-06 23:02:23 as
	Integration of statecharts [My Copy] Cooperative Information Systems, 1998. Proceedings. 3rd IFCIS International Conference on (1998), pp. 364-372. by Heinz Frank, Johann Eder posted to 1998 refinement statecharts by leonardo on 2006-09-14 23:58:23 as
	A Program Refinement Tool [My Copy] Formal Aspects of Computing, Vol. 10, No. 2. (February 1998), pp. 97-124. by David Carrington, Ian Hayes, Ray Nickson, G. Watson, J. Welsh posted to no-tag 1998 refinement tool by leonardo on 2006-07-24 22:34:22 as
	State-Machine Versus Trace Modelling of Real-Time Reactive Systems [My Copy] (1998) by C. J. Fidge posted to 1998 reactive_systems refinement statecharts _to_review traces by leonardo on 2006-07-24 19:29:49 as along with 1 person scis0000001
	Improving efficiency of symbolic model checking for state-based system requirements [My Copy] In ISSTA '98: Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, Vol. 23, No. 2. (March 1998), pp. 102-112. by William Chan, Richard J. Anderson, Paul Beame, David Notkin posted to 1998 model_checking requirements statecharts by leonardo on 2006-04-03 03:02:12 as
	Correspondences between statecharts, event structures, and concurrent regular expressions [My Copy] In ACM-SE 36: Proceedings of the 36th annual Southeast regional conference (1998), pp. 178-184. by Jeffrey B. Green posted to 1998 cre statecharts by leonardo on 2006-04-03 02:43:06 as
	Projectable semantics for Statecharts [My Copy] Electronic Notes in Theoretical Computer Science In MFCS'98 Workshop on Concurrency, Vol. 18 (1998), pp. 134-146. by Andrea M. Schettini, Simone Tini posted to 1998 semantics statecharts by leonardo on 2006-04-01 18:21:40 as
	Modeling and quantitative analysis of discrete event systems: A statecharts based approach [My Copy] Simulation Practice and Theory, Vol. 6, No. 4. (15 May 1998), pp. 397-411. by Pablo Gruer, Abder Koukam, B. Mazigh posted to 1998 statecharts by leonardo on 2006-04-01 18:20:47 as
	Unification of the models for types, classes and state machines [My Copy] Computer Standards & Interfaces, Vol. 19, No. 7. (2 November 1998), pp. 347-359. by Gary W. Daugherty posted to 1998 statecharts unification by leonardo on 2006-04-01 18:18:42 as

Note: You may cite this page as: http://www.citeulike.org/user/leonardo/tag/1998

Result page: 1 2 Next

statecharts	673
2008	409
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	137
_marcia	120
2002	108
2003	107
csp	94
_no_doi	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
1997	35
z	35
agents	33
formal	29
_folder_2	28
1995	27
1996	27
reactive_systems	27
ocl	25
tool	24
transformation	24
writing	24
b	23
umlrt	23
1994	22
mdd	22
_to_review	22
operational	21
petrinets	21
bibtex-import	20
metamodel	20
uml20	20
concurrent_systems	19
mda	19
survey	19
sos	18
equivalence	16
metamodelling	16
1993	15
nopdf	15
object	14
proof	14
statemate	14
1992	13
asm	13
communication	12
inheritance	12
qvt	12
_to_appear	12
circus	11
composition	11
denotational	11
_folder_3	11
for:marcia	11
_off	11
patterns	11
years_later	11
1988	10
jcsp	10
thesis	10
compaison	9
_folder_1	9
formal_methods	9
hierarchy	9
protocol	9
teaching	9
_to_print	9
classic	8
comparison	8
concurrency	8
design_patterns	8
fdr	8
fsm	8
java	8
_missing	8
mu-charts	8
pvs	8
socialnetwork	8
taxonomy	8
1987	7
1990	7
mde	7
model	7
process_algebra	7
program_visualization	7
realtime	7
syntax	7
visualization	7
visual_languages	7
1989	6
by_example	6
event-b	6
incremental	6
_no_pdf	6
slicing	6
specification	6
analysis	5
formal_specification	5
laws	5
lts	5
model_merging	5
mof	5
tools	5
triple_graph_grammars	5
validation	5
1991	4
concrete_syntax	4
consistency	4
idioms	4
maude	4
mechanized	4
_mise2009	4
model_composition	4
modelling	4
mondex	4
oop	4
reactive_process	4
refinement_calculus	4
rhapsody	4
semantic_variation	4
seminal	4
simulation	4
theorem_prover	4
_to_download_wiley	4
tutorial	4
utp	4
agg	3
algebraic	3
algebraic_specification	3
axiomatic	3
behavior	3
calculus	3
checking	3
chinese	3
code_generation	3
completeness	3
component	3
cre	3
distributed	3
eclipse	3
empirical	3
exception	3
framework	3
fujaba	3
functional	3
goals	3
graph	3
graphical	3
history	3
hoare	3
istar	3
language	3
mapping	3
metrics	3
msc	3
objectz	3
product_lines	3
program_transformation	3
reuse	3
roadmap	3
rules	3
safety	3
software_engineering	3
spin	3
tool_integration	3
traces	3
translation	3
web	3
xml	3
1981	2
1982	2
1985	2
acme	2
appendix	2
assertion	2
automation	2
behavior_inheritance	2
behaviour_preservation	2
best_practice	2
bibliography	2
biderectional	2
bounded_verification	2
casestudy	2
casl	2
ccs	2
checker	2
citation	2
citeulike	2
concurrent	2
conformance	2
constraint	2
constraints	2
corba	2
correctness	2
current_topics	2
distributed_systems	2
domain_modeling	2
embedded_system	2
emf	2
experiment	2
feature	2
finite_model	2
history_of	2
hypertext	2
impact-factor	2
inconsistency	2
jml	2
lessons_learned	2
lightweight_formal_method	2
logics	2
manifesto	2
methods	2
mobile	2
model_comparison	2
model_inconsistencies	2
model_matching	2
model_refinement	2
msos	2
objects	2
object-z	2
oo	2
open_questions	2
open-source	2
overview	2
performance	2
physics	2
pi-calculus	2
pose	2
programming	2
reasoning	2
recursion	2
research	2
review	2
software_evolution	2
stepwise	2
subtyping	2
symbolic	2
synchronization	2
temporal_logic	2
_to_download_acm	2
_to_download_elsevier	2
_to_download_ieee	2
traceability	2
understandability	2
variability	2
verified_software	2
verilog	2
viewcharts	2
web_applications	2
1769	1
1967	1
1969	1
1971	1
1972	1
1973	1
1975	1
1976	1
1978	1
1979	1
1984	1
1986	1
2010	1
aadl	1
abstract	1
abstraction	1
accidental_complexity	1
action_semantics	1
action_systems	1
ada	1
adaptive_logics	1
adl	1
agile	1
aircraft	1
algebra	1
alloy_analyzer	1
animation	1
annotated_bibliography	1
annotations	1
applicability	1
application_conditions	1
association	1
atl	1
automata_based_programming	1
automated_deduction	1
automotive_systems	1
avionics	1
behavioral_modeling	1
bg	1
biology	1
bisimulation	1
block_diagrams	1
bpel	1
business_rules	1
challenges	1
class	1
classroom	1
clustering	1
codesign	1
coding	1
cognition	1
col	1
compatibility	1
computability	1
_conference	1
confluence	1
connectors	1
constraint_satisfaction	1
constraint_satisfaction_problem	1
constraint_solver	1
constructionist	1
continuous	1
contracts	1
control_conditions	1
coordination	1
cryptography	1
cspz	1
data_abstraction	1
database	1
data_independence	1
data_refinement	1
datatypes	1
deadlock	1
debugging	1
decidable	1
decompositions	1
denotational_semantics	1
dependable_software	1
dependable_systems	1
derivation_of_precondition	1
design_decisions	1
diagram	1
diagram_interchange	1
diagrams	1
dpo	1
dynalloy	1
early	1
editor	1
efsm	1
eha	1
eiffel	1
end-user	1
epsilion	1
equational_calculus	1
essays	1
esterel	1
euler_diagram	1
_event_mise	1
event_processor	1
events	1
evolution	1
evoting	1
execution	1
feature_models	1
file-import-08-11-22	1
file-import-09-09-11	1
finite_state_machines	1
first-order	1
folksonomy	1
formal_derivation	1
formal_verification	1
frame_assertion	1
frame_conditions	1
free	1
fundamental_technique	1
fuzzy	1
gals	1
games	1
gap	1
google	1
grammars	1
grand_challenge	1
graph_grammar	1
grouping	1
hardcopy	1
health_care	1
heuristics	1
hol	1
imsos	1
inconsistencies	1
industry	1
inspection	1
instance_model	1
internet_applications	1
interview	1
istate	1
java5	1
jdi	1
kaos	1
kleene	1
kleene_algebras	1
large_scale	1
layout	1
library	1
literate_programming	1
lotos	1
lsc	1
lyee_calculus	1
macthing	1
maraton	1
mathematics	1
mechanical_verification	1
mechatronic_uml	1
merging	1
model-based	1
model_based_design	1
model-based_testing	1
modelcheking	1
model_extension	1
modeling_languages	1
modeling_paradigm	1
model_integration	1
model_quality	1
model_tranformation	1
model_typing	1
model_verification	1
modularization	1
motivations	1
_msc	1
multi-formalism	1
mutations	1
nac	1
negotiation	1
network	1
novel_approach	1
occam	1
omt	1
_on	1
ontology	1
ood	1
operational_semantics	1
origins	1
orthogonal_regions	1
owl	1
packaging_knowhow	1
_paper_2	1
paradigms	1
pascal	1
pattern	1
pattern_matching	1
_pdf	1
pim	1
practice	1
pragmatics	1
precise	1
presentation	1
pre-uml	1
priority	1
problems	1
processes	1
process_modelling	1
programming_language_design	1
promises	1
proof_assistant	1
proof_obligations	1
provers	1
psm	1
ptifalls	1
publishing	1
pullback_grammar	1
qos	1
quality	1
quantifier_elimination	1
reduction	1
re-engineering	1
reentrant	1
reference_model	1
refinement_relations	1
relational	1
reo	1
requirement	1
resources	1
rest	1
retractions	1
retrospective	1
reverse	1
reverse_engineering	1

leonardo's 1998 [52 articles] Export

leonardo's tags