D. B. Aredo:
A Framework for Semantics of UML Sequence Diagrams in PVS
/jucs_8_7/a_framework_for_semantics

page 674 - 697
Vol.8 / Issue 7

C. Ba, M.A. Carrero, M. Halfeld Ferrari, M.A. Musicante:
PEWS: A New Language for Building Web Service Interfaces
/jucs_11_7/pews_a_new_language

page 1215 - 1233
Vol.11 / Issue 7

R. Banach:
MONSTR II - Suspending Semantics and Independence
/jucs_3_7/monstr_ii_suspending_semantics

page 756 - 802
Vol.3 / Issue 7

R. Banach, J. Balázs, G. A. Papadopoulos:
A Translation of the Pi-Calculus Into MONSTR
/jucs_1_6/a_translation_of_the

page 339 - 398
Vol.1 / Issue 6

R. Banach:
MONSTR I - Fundamental Issues and the Design of MONSTR
/jucs_2_4/monstr_i_fundamental_issues

page 164 - 216
Vol.2 / Issue 4

L. Soares Barbosa:
Towards a Calculus of State-based Software Components
/jucs_9_8/towards_a_calculus_of

page 891 - 909
Vol.9 / Issue 8

M.A. Barbosa, L. Soares Barbosa:
A Relational Model for Component Interconnection
/jucs_10_7/a_relational_model_for

page 808 - 823
Vol.10 / Issue 7

H. Basold, H. Geuvers, N. van der Weide:
Higher Inductive Types in Programming
/jucs_23_1/higher_inductive_types_in

page 63 - 88
Vol.23 / Issue 1

A. Botti Benevides, G. Guizzardi, B.F. Bastos Braga, J.P. Andrade Almeida:
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
/jucs_16_20/validating_modal_aspects_of

page 2904 - 2933
Vol.16 / Issue 20

D. Bjørner:
On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book
/jucs_7_8/on_teaching_software_engineering

page 641 - 667
Vol.7 / Issue 8

M. Bravetti:
RESTful Services and Web-OS Middleware: a Formal Specification Approach
/jucs_23_9/restful_services_and_web

page 808 - 844
Vol.23 / Issue 9

M. Butler, C. Ferreira, M.Y. Ng:
Precise Modelling of Compensating Business Transactions and its Application to BPEL
/jucs_11_5/precise_modelling_of_compensating

page 712 - 743
Vol.11 / Issue 5

C. Camarão, C. Vasconcellos, L. Figueiredo, J. Nicola:
Open and Closed Worlds for Overloading: a Definition and Support for Coexistence
/jucs_13_6/open_and_closed_worlds

page 874 - 890
Vol.13 / Issue 6

C. Carvilhe, M. A. Musicante:
Object-Oriented Action Semantics Specifications
/jucs_9_8/object_oriented_action_semantics

page 910 - 934
Vol.9 / Issue 8

A. Danylenko, J. Lundberg, W. Löwe:
Decisions: Algebra, Implementation, and First Experiments
/jucs_20_9/decisions_algebra_implementation_and

page 1174 - 1231
Vol.20 / Issue 9

D. Drusinsky, M.-T. Shing:
Monitoring Temporal Logic Specifications Combined with Time Series Constraints
/jucs_9_11/monitoring_temporal_logic_specification

page 1261 - 1276
Vol.9 / Issue 11

R. Eschbach, U. Glässer, R. Gotzhein, M. von Löwis, A. Prinz:
Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models
/jucs_7_11/formal_definition_of_sdl

page 1024 - 1049
Vol.7 / Issue 11

U. Glaesser, R. Karges:
Abstract State Machine Semantics of SDL
/jucs_3_12/abstract_state_machine_semantics

page 1382 - 1414
Vol.3 / Issue 12

C. Heitmeyer, R. Bharadwaj:
Applying the SCR Requirements Method to the Light Control Case Study
/jucs_6_7/applying_the_scr_requirements

page 650 - 678
Vol.6 / Issue 7

C. B. Jones:
The Transition from VDL to VDM
/jucs_7_8/the_transition_from_VDL

page 631 - 640
Vol.7 / Issue 8

P. W. Kutter, A. Pierantonio:
Montages Specifications of Realistic Programming Languages
/jucs_3_5/montages_specifications

page 416 - 442
Vol.3 / Issue 5

P. W. Kutter, A. Pierantonio:
The Formal Specification of Oberon
/jucs_3_5/specification_oberon

page 443 - 503
Vol.3 / Issue 5

P.D. Mosses:
A Constructive Approach to Language Definition
/jucs_11_7/a_contructive_approach_to

page 1117 - 1134
Vol.11 / Issue 7

J. F. Power, D. Sinclair:
A Formal Model of Forth Control Words in the Pi-Calculus
/jucs_10_9/a_formal_model_of

page 1272 - 1293
Vol.10 / Issue 9

P.R. Ribeiro, M.A. Barbosa, L.S. Barbosa:
Generic Process Algebra: A Programming Challenge
/jucs_12_7/generic_process_algebra_a

page 922 - 937
Vol.12 / Issue 7

A. Rius, J. Conesa, E. García-Barriocanal, M.-Á. Sicilia:
Specifying Patterns of Educational Settings by means of Ontologies
/jucs_19_3/specifying_patterns_of_educational

page 353 - 382
Vol.19 / Issue 3

F. Barden Rubbo, R. Machado, Á. Freitas Moreira, L. Ribeiro, D.J. Nunes:
On the Interaction of Advices and Raw Types in AspectJ
/jucs_14_21/on_the_interaction_of

page 3534 - 3555
Vol.14 / Issue 21

G. Schellhorn:
ASM Refinement Preserving Invariants
/jucs_14_12/asm_refinement_preserving_invariants

page 1929 - 1948
Vol.14 / Issue 12

M. Schordan:
The Language of the Visitor Design Pattern
/jucs_12_7/the_language_of_the

page 849 - 867
Vol.12 / Issue 7

K. Takahashi:
Reasoning about Propagation of Properties over Regions
/jucs_9_9/reasoning_about_propagation_of

page 1030 - 1045
Vol.9 / Issue 9

F. Tirelo, R.S. Bigonha, J. Saraiva:
Disentangling Denotational Semantics Definitions
/jucs_14_21/disentangling_denotational_semantics_definitions

page 3592 - 3607
Vol.14 / Issue 21

I. Traoré:
An Outline of PVS Semantics for UML Statecharts
/jucs_6_11/an_outline_of_pvs

page 1088 - 1108
Vol.6 / Issue 11

H. Treseler, O. Stursberg, P. W. H. Chung, S. Yang:
An Open Software Architecture for the Verification of Industrial Controllers
/jucs_7_1/an_open_software_architecture

page 37 - 53
Vol.7 / Issue 1

T. Uustalu, T. Vene:
Signals and Comonads
/jucs_11_7/signals_and_comonads

page 1311 - 1326
Vol.11 / Issue 7

J.M. Vara, V. Andrikopoulos, M.P. Papazoglou, E. Marcos:
Towards Model-Driven Engineering Support for Service Evolution
/jucs_18_17/towards_model_driven_engineering

page 2364 - 2382
Vol.18 / Issue 17

P. Wadler:
Abstract Data Types without the Types.
Dedicated to David Turner on the occasion of his 70'th birthday
/jucs_23_1/abstract_data_types_without

page 5 - 20
Vol.23 / Issue 1

M. Yang, G.J. Michaelson, R.J. Pooley:
Formal Action Semantics for a UML Action Language
/jucs_14_21/formal_action_semantics_for

page 3608 - 3624
Vol.14 / Issue 21

M. d'Amorim, G. Rosu:
An Equational Specification for the Scheme Language
/jucs_11_7/an_equational_specification_for

page 1327 - 1348
Vol.11 / Issue 7

D. de Frutos Escrig, C.G. Rodríguez:
Process Equivalences as Global Bisimulations
/jucs_12_11/process_equivalences_as_global

page 1521 - 1550
Vol.12 / Issue 11

A. de la Encina, L. Llana, F. Rubio:
A Debugging System Based on Natural Semantics
/jucs_15_14/a_debugging_system_based

page 2836 - 2880
Vol.15 / Issue 14