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
	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. Alférez, R.E. Lopez-Herrejón, A. Moreira, V. Amaral, A. Egyed: Consistency Checking in Early Software Product Line Specifications - The VCC Approach /jucs_20_5/consistency_checking_in_early	page 640 - 665 Vol.20 / Issue 5
	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. Azevedo, B. Fonseca, H. Paredes, S. Lukosch, J. Janeiro, R.O. Briggs: On the Development and Usability of a Diagram-based Collaborative Brainstorming Component /jucs_19_7/on_the_development_and	page 873 - 893 Vol.19 / Issue 7
	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
	F. Barreto Vavassori Benitti, R.C. da Silva: Evaluation of a Systematic Approach to Requirements Reuse /jucs_19_2/evaluation_of_a_systematic	page 254 - 280 Vol.19 / Issue 2
	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, 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
	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
	R. Calvo, A. Iglesias, L. Moreno: User-Centered Requirement Engineering for Accessible Chats in m-Learning /jucs_20_7/user_centered_requirement_engineering	page 964 - 985 Vol.20 / Issue 6
	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. Soares 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
	O. Daramola, G. Sindre, T. Moser: A Tool-based Semantic Framework for Security Requirements Specification /jucs_19_13/a_tool_based_semantic	page 1940 - 1962 Vol.19 / 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
	H. Fargier, P.-F. Gimenez, J. Mengin: Experimental Evaluation of Three Value Recommendation Methods in Interactive Configuration /jucs_26_3/experimental_evaluation_of_three	page 318 - 342 Vol.26 / Issue 3
	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: Identifying Groupware Requirements in People-Driven Mobile Collaborative Processes /jucs_25_8/identifying_groupware_requirements_in	page 988 - 1017 Vol.25 / Issue 8
	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
	S. Kroop: Evaluation on Students' and Teachers' Acceptance of Widget- and Cloud-based Personal Learning Environments /jucs_19_14/evaluation_on_students_and	page 2150 - 2171 Vol.19 / Issue 14
	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
	R. Macasaet, M. Noguera, M.L. Rodríguez, J.L. Garrido, S. Supakkul, L. Chung: Micro-business Requirements Patterns in Practice: Remote Communities in Developing Nations /jucs_25_7/micro_business_requirements_patterns	page 764 - 787 Vol.25 / Issue 7
	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
	J. Malý, M. Nečaský: Evaluation of OCL Expressions over XML Data Model /jucs_20_3/evaluation_of_ocl_expressions	page 329 - 365 Vol.20 / Issue 3
	R. Matulevičius, H. Mouratidis, N. Mayer, E. Dubois, P. Heymans: Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management /jucs_18_6/syntactic_and_semantic_extensions	page 816 - 844 Vol.18 / Issue 6
	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
	H. Mouratidis, C. Kalloniatis, S. Islam, M.-P. Huget, S. Gritzalis: Aligning Security and Privacy to Support the Development of Secure Information Systems /jucs_18_12/aligning_security_and_privacy	page 1608 - 1627 Vol.18 / Issue 12
	M. Muhairat, S. ALZu'bi, B. Hawashin, M. Elbes, M. Al-Ayyoub: An Intelligent Recommender System Based on Association Rule Analysis for Requirement Engineering /jucs_26_1/an_intelligent_recommender_system	page 33 - 49 Vol.26 / Issue 1
	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
	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
	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
	A. Spasić, D. Janković: Model-Driven Framework for Design and Production of Low-Budget Stereoscopic TV Content /jucs_19_1/model_driven_framework_for	page 78 - 109 Vol.19 / Issue 1
	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
	C. Taivan, R. José, B. Silva, I. Elhart, J. Cardoso: Design Considerations for Application Selection and Control in Multi-user Public Displays /jucs_19_17/design_considerations_for_application	page 2526 - 2542 Vol.19 / Issue 17
	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. Urbieta, G. Rossi, S.E. Gordillo, A. Rodrigues, J. Araujo, A. Moreira: An Aspect-Oriented Approach for Spatial Concerns in Web Applications /jucs_19_1/an_aspect_oriented_approach	page 110 - 131 Vol.19 / Issue 1
	A.V. Uzunov, E.B. Fernandez, K. Falkner: Engineering Security into Distributed Systems: A Survey of Methodologies /jucs_18_20/engineering_security_into_distributed	page 2920 - 3006 Vol.18 / Issue 20
	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
	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
	Y. Wautelet, M. Kolp, L. Penserini: Service-Driven Iterative Software Project Management with I-Tropos /jucs_24_7/service_driven_iterative_software	page 975 - 1011 Vol.24 / Issue 7
	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
	M. Zapata-Barra, A. Rodríguez, A. Caro, E.B. Fernández: Towards Obtaining UML Class Diagrams from Secure Business Processes Using Security Patterns /jucs_24_10/towards_obtaining_uml_class	page 1472 - 1492 Vol.24 / Issue 10
	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
	R. Maiani de Mello, E. Nogueira Teixeira, M. Schots, C.M. Lima Werner, G. Horta Travassos: Verification of Software Product Line Artefacts: A Checklist to Support Feature Model Inspections /jucs_20_5/verification_of_software_product	page 720 - 745 Vol.20 / Issue 5
	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
	R. Pereira de Oliveira, D. Blanes, J. Gonzalez-Huerta, E. Insfran, S. Abrahão, S. Cohen, E. Santana de Almeida: Defining and Validating a Feature-Driven Requirements Engineering Approach /jucs_20_5/defining_and_validating_a	page 666 - 691 Vol.20 / Issue 5