T. Aaltonen, M. Katara, R. Pitkänen:
DisCo Toolset - The New Generation
/jucs_7_1/disco_toolset_the_new

page 3 - 18
Vol.7 / Issue 1

J.A. Aguilar, I. Garrigós, J.-N. Mazón, J. Trujillo:
An MDA Approach for Goal-oriented Requirement Analysis in Web Engineering
/jucs_16_17/an_mda_approach_for

page 2475 - 2494
Vol.16 / Issue 17

B. K. Aichernig:
Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus
/jucs_7_8/test_design_through_abstraction

page 710 - 735
Vol.7 / Issue 8

M. Altenhofen, A. Friesen, J. Lemcke:
ASMs in Service Oriented Architectures
/jucs_14_12/asms_in_service_oriented

page 2034 - 2058
Vol.14 / Issue 12

R.F. Arroyo, M. Gea, J.L. Garrido, P.A. Haya:
Development of Ambient Intelligence Systems Based on Collaborative Task Models
/jucs_14_9/development_of_ambient_intelligence

page 1545 - 1559
Vol.14 / Issue 9

D. Batory, E. Börger:
Modularizing Theorems for Software Product Lines: The Jbook Case Study
/jucs_14_12/modularizing_theorems_for_software

page 2059 - 2082
Vol.14 / Issue 12

A. Bergel, S. Ducasse, O. Nierstrasz:
Analyzing Module Diversity
/jucs_11_10/analyzing_module_diversity

page 1613 - 1644
Vol.11 / Issue 10

M. Bravetti, A. Casalboni, M. Núñez, I. Rodriguez:
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices
/jucs_13_13/from_theoretical_ebarter_models

page 2035 - 2075
Vol.13 / Issue 13

K. dos Santos Brito, V.C. Garcia, E. Santana de Almeida, S.R. de Lemos Meira:
LIFT - A Legacy InFormation Retrieval Tool
/jucs_14_8/lift_a_legacy_information

page 1256 - 1284
Vol.14 / Issue 8

A.D. Brucker, F. Rittinger, B. Wolff:
HOL-Z 2.0: A Proof Environment for Z-Specifications
/jucs_9_2/hol_z_2

page 152 - 172
Vol.9 / Issue 2

D. Burgos, C. Tattersall, M. Dougiamas, H. Vogten, R. Koper:
A First Step Mapping IMS Learning Design and Moodle
/jucs_13_7/a_first_step_mapping

page 924 - 931
Vol.13 / Issue 7

E. Börger, L. Mearelli:
Integrating ASMs into the Software Development Life Cycle
/jucs_3_5/integrating_asm

page 603 - 665
Vol.3 / Issue 5

E. Börger, O. Sörensen, B. Thalheim:
On Defining the Behavior of OR-joins in Business Process Models
/jucs_15_1/on_defining_the_behavior

page 3 - 32
Vol.15 / Issue 1

E. Börger, E. Riccobene, J. Schmid:
Capturing Requirements by Abstract State Machines: The Light Control Case Study
/jucs_6_7/capturing_requirements_by_abstract

page 597 - 620
Vol.6 / Issue 7

E. Börger, D. Sona:
A Neural Abstract Machine
/jucs_7_11/a_neural_abstract_machine

page 1006 - 1023
Vol.7 / Issue 11

R. Chan, J. Hoshino:
Building Immersive Conversation Environment Using Locomotive Interactive Character
/jucs_13_2/building_immersive_conversation_environment

page 149 - 160
Vol.13 / Issue 2

N. Chetcuti-Sperandio, L.F.d. Cerro:
A Decision Method for Duration Calculus
/jucs_5_11/a_decision_method_for

page 743 - 764
Vol.5 / Issue 11

R. Colomo-Palacios, C. Casado-Lumbreras, P. Soto-Acosta, A. Garcia-Crespo:
Using the Affect Grid to Measure Emotions in Software Requirements Engineering
/jucs_17_9/using_the_affect_grid

page 1281 - 1298
Vol.17 / Issue 9

V. Cortellessa, I. Crnkovic, F. Marinelli, P. Potena:
Experimenting the Automated Selection of COTS Components Based on Cost and System Requirements
/jucs_14_8/experimenting_the_automated_selection

page 1228 - 1255
Vol.14 / Issue 8

A.M. Cruz, L.S. Barbosa, J.N. Oliveira:
From Algebras to Objects: Generation and Composition
/jucs_11_10/from_algebras_to_objects

page 1580 - 1612
Vol.11 / Issue 10

J. Cubo, C. Canal, E. Pimentel:
Context-Aware Composition and Adaptation based on Model Transformation
/jucs_17_5/context_aware_composition_and

page 777 - 806
Vol.17 / Issue 5

J. Cámara, G. Salaün, C. Canal:
Composition and Run-time Adaptation of Mismatching Behavioural Interfaces
/jucs_14_13/composition_and_run_time

page 2182 - 2211
Vol.14 / Issue 13

M. Denford, A. Solomon, J. Leaney, T. O'Neill:
Architectural Abstraction as Transformation of Poset Labelled Graphs
/jucs_10_10/architectural_abstraction_as_transformation

page 1408 - 1428
Vol.10 / Issue 10

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

P. Fernandes, C. Werner, E. Teixeira:
An Approach for Feature Modeling of Context-Aware Software Product Line
/jucs_17_5/an_approach_for_feature

page 807 - 829
Vol.17 / Issue 5

L. Fuentes, N. Gámez:
Configuration Process of a Software Product Line for AmI Middleware
/jucs_16_12/configuration_process_of_a

page 1592 - 1611
Vol.16 / Issue 12

A. Gargantini, E. Riccobene, P. Scandurra:
A Metamodel-based Language and a Simulation Engine for Abstract State Machines
/jucs_14_12/a_metamodel_based_language

page 1949 - 1983
Vol.14 / Issue 12

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

V. Herskovic, S.F. Ochoa, J.A. Pino, A. Neyem:
The Iceberg Effect: Behind the User Interface of Mobile Collaborative Systems
/jucs_17_2/the_iceberg_effect_behind

page 183 - 201
Vol.17 / Issue 2

M. J. Hornos:
FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking
/jucs_10_11/fbt_a_tool_for

page 1498 - 1518
Vol.10 / Issue 11

H. Peter In, D. Olson:
Requirements Negotiation Using Multi-Criteria Preference Analysis
/jucs_10_4/requirements_negotiation_using_multi

page 306 - 325
Vol.10 / Issue 4

M. Johnson, D. Griffiths, M. Wang:
Positioning Theory, Roles and the Design and Implementation of Learning Technology
/jucs_17_9/positioning_theory_roles_and

page 1329 - 1346
Vol.17 / Issue 9

R. José, H. Rodrigues, N. Otero:
Ambient Intelligence: Beyond the Inspiring Vision
/jucs_16_12/ambient_intelligence_beyond_the

page 1480 - 1499
Vol.16 / Issue 12

J. Kim, J.-Y. Choi, I. Kang, I. Lee:
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture
/jucs_16_17/uml_behavior_models_of

page 2415 - 2434
Vol.16 / Issue 17

O. Koné:
An Inoteroperability Testing Approach to Wireless Applications Protocols
/jucs_9_10/an_inoteroperability_testing_approach

page 1220 - 1243
Vol.9 / Issue 10

M. Kronenburg, C. Peper:
Application of the FOREST Approach to the Light Control Case Study
/jucs_6_7/application_of_the_forest

page 679 - 703
Vol.6 / Issue 7

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

page 416 - 442
Vol.3 / Issue 5

P. Gorm Larsen:
Ten Years of Historical Development "Bootstrapping" VDMTools
/jucs_7_8/ten_years_of_historical

page 692 - 709
Vol.7 / Issue 8

K. Ma, B. Yang, Z. Chen, A. Abraham:
A Relational Approach to Model Transformation with QVT Relations Supporting Model Synchronization
/jucs_17_13/a_relational_approach_to

page 1863 - 1883
Vol.17 / Issue 13

A. MacDonald, D. Carrington:
Some Elements of Z Specification Style: Structuring Techniques
/jucs_6_12/some_elements_of_z

page 1203 - 1225
Vol.6 / Issue 12

S. Maharaj, C. Shankland:
A Survey of Formal Methods Applied to Leader Election in IEEE 1394
/jucs_6_11/a_survey_of_formal

page 1145 - 1163
Vol.6 / Issue 11

L. Mearelli:
Refining an ASM Specification of the Production Cell to C++ Code
/jucs_3_5/production_cell

page 666 - 688
Vol.3 / Issue 5

A.I. Molina, M.A. Redondo, M. Ortega, U. Hoppe:
CIAM: A Methodology for the Development of Groupware User Interfaces
/jucs_14_9/ciam_a_methodology_for

page 1435 - 1446
Vol.14 / Issue 9

J. Mullins:
Nondeterministic Admissible Interference
/jucs_6_11/nondeterministic_admissible_interference

page 1054 - 1070
Vol.6 / Issue 11

E.-R. Olderog, H. Dierks:
Moby/RT: A Tool for Specification and Verification of Real-Time Systems
/jucs_9_2/mobyrt_a_tool_for

page 88 - 105
Vol.9 / Issue 2

J. N. Oliveira:
"Bagatelle in C arranged for VDM SoLo"
/jucs_7_8/bagatelle_in_c_arranged

page 754 - 781
Vol.7 / Issue 8

M. Ouimet, K. Lundqvist:
The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering
/jucs_14_12/the_timed_abstract_state

page 2007 - 2033
Vol.14 / Issue 12

P. Poizat, J.-C. Royer:
A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic
/jucs_12_12/a_formal_architectural_description

page 1741 - 1782
Vol.12 / Issue 12

E. D. Popova, C. P. Ullrich:
Generalizing BIAS Specifications
/jucs_3_1/generalizing_bias

page 23 - 41
Vol.3 / Issue 1

W. Reif, G. Schellhorn, T. Vollmer, J. Ruf:
Correctness of Efficient Real-Time Model Checking
/jucs_7_2/correctness_of_efficient_real

page 194 - 209
Vol.7 / Issue 2

D.G. Rosado, E. Fernández-Medina, J. López, M. Piattini:
Developing a Secure Mobile Grid System through a UML Extension
/jucs_16_17/developing_a_secure_mobile

page 2333 - 2352
Vol.16 / Issue 17

J. Rothe, H. Tews, B. Jacobs:
The Coalgebraic Class Specification Language CCSL
/jucs_7_2/the_coalgebraic_class_specification

page 175 - 193
Vol.7 / Issue 2

G. Schellhorn:
Verification of ASM Refinements Using Generalized Forward Simulation
/jucs_7_11/verification_of_asm_refinements

page 952 - 979
Vol.7 / Issue 11

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

page 1929 - 1948
Vol.14 / Issue 12

A. Slissenko, P. Vasilyev:
Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking
/jucs_14_12/simulation_of_timed_abstract

page 1984 - 2006
Vol.14 / Issue 12

G. Smith, C. Fidge:
Incremental Development of Real-Time Requirements: The Light Control Case Study
/jucs_6_7/incremental_development_of_real

page 704 - 730
Vol.6 / Issue 7

W. Sun, E. Song, P.C. Grabow, D.M. Simmonds:
Toward an Integrated Tool Environment for Static Analysis of UML Class and Sequence Models
/jucs_16_17/toward_an_integrated_tool

page 2435 - 2454
Vol.16 / Issue 17

Ó. Sánchez, F. Molina, J. García-Molina, A. Toval:
ModelSec: A Generative Architecture for Model-Driven Security
/jucs_15_15/modelsec_a_generative_architecture

page 2957 - 2980
Vol.15 / Issue 15

J. M. Thompson, M. W. Whalen, M. P. E. Heimdahl:
Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study
/jucs_6_7/requirements_capture_and_evaluation

page 731 - 757
Vol.6 / Issue 7

M. Viroli, A. Omicini:
Modelling Agents as Observable Sources
/jucs_8_4/modelling_agents_as_observable

page 423 - 451
Vol.8 / Issue 4

C. Wallace, G. Tremblay, J. N. Amaral:
An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol
/jucs_7_11/an_abstract_state_machine

page 1088 - 1112
Vol.7 / Issue 11

M. Wurdel, D. Sinnig, P. Forbrig:
CTML: Domain and Task Modeling for Collaborative Environments
/jucs_14_19/ctml_domain_and_task

page 3188 - 3201
Vol.14 / Issue 19

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

W. L. Yeung:
Checking Consistency between UML Class and State Models Based on CSP and B
/jucs_10_11/checking_consistency_between_uml

page 1540 - 1559
Vol.10 / Issue 11

A. de Groot, J. Hooman:
Analyzing the Light Control System with PVS
/jucs_6_7/analyzing_the_light_control

page 621 - 649
Vol.6 / Issue 7

F. de Oliveira Jr., R. Lima, M. Cornelio, S. Soares, P. Maciel, R. Barreto, M. Oliveira Jr., E. Tavares:
CML: C Modeling Language
/jucs_13_6/cml_c_modeling_language

page 682 - 700
Vol.13 / Issue 6