Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Articles by Topics
Topic D. - Software
Topic D.2 - SOFTWARE ENGINEERING
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, 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, D. Sona:
A Neural Abstract Machine
/jucs_7_11/a_neural_abstract_machine
page 1006 - 1023
Vol.7 / Issue 11
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. 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.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
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
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
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
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
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
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
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