Topic D.2.1 - Requirements/Specifications

	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
	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, D. Sona: A Neural Abstract Machine /jucs_7_11/a_neural_abstract_machine	page 1006 - 1023 Vol.7 / Issue 11
	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, 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
	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
	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. 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
	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
	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
	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
	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
	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
	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
	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