Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Articles by Topics
Topic D. - Software
Topic D.3 - PROGRAMMING LANGUAGES
Topic D.3.1 - Formal Definitions and Theory

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 I - Fundamental Issues and the Design of MONSTR
/jucs_2_4/monstr_i_fundamental_issues
page 164 - 216
Vol.2 / Issue 4
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
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. 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:
The Formal Specification of Oberon
/jucs_3_5/specification_oberon
page 443 - 503
Vol.3 / Issue 5
P. W. Kutter, A. Pierantonio:
Montages Specifications of Realistic Programming Languages
/jucs_3_5/montages_specifications
page 416 - 442
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