Constraint modelling using a conceptual prototyping language
Data & Knowledge Engineering
Experience with Fagan's inspection method
Software—Practice & Experience
Understanding Quality in Conceptual Modeling
IEEE Software
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Making the most of formal specification through animation, testing and proof
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Using model checking to generate tests from requirements specifications
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Test Driven Development: By Example
Test Driven Development: By Example
Reverse Engineering and Design Recovery: A Taxonomy
IEEE Software
A Development Environment for an Object Specification Language
IEEE Transactions on Knowledge and Data Engineering
Using Explanations to Improve the Validation of Executable Models
CAiSE '93 Proceedings of Advanced Information Systems Engineering
Validating Conceptual Models by Transformational Prototyping
CAiSE '93 Proceedings of Advanced Information Systems Engineering
System Test Synthesis from UML Models of Distributed Software
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
A UML-Based Approach to System Testing
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Assessing test-driven development at IBM
Proceedings of the 25th International Conference on Software Engineering
The Process of Inconsistency Management: A Framework for Understanding
DEXA '99 Proceedings of the 10th International Workshop on Database & Expert Systems Applications
A Lightweight Approach to Consistency of Scenarios and Class Models
ICRE '00 Proceedings of the 4th International Conference on Requirements Engineering (ICRE'00)
Requirements interaction management
ACM Computing Surveys (CSUR)
Test Driven development: A Practical Guide
Test Driven development: A Practical Guide
Extreme Programming Refactored: The Case Against XP
Extreme Programming Refactored: The Case Against XP
A metamodeling approach to model transformation
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An initial investigation of test driven development in industry
Proceedings of the 2003 ACM symposium on Applied computing
A Survey of Software Refactoring
IEEE Transactions on Software Engineering
Unified Modeling Language Reference Manual, The (2nd Edition)
Unified Modeling Language Reference Manual, The (2nd Edition)
The AGEDIS tools for model based testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Test-Driven Modeling for Model-Driven Development
IEEE Software
A Prototype Empirical Evaluation of Test Driven Development
METRICS '04 Proceedings of the Software Metrics, 10th International Symposium
Data & Knowledge Engineering - Special issue: Quality in conceptual modeling
Automatic Test Generation: A Use Case Driven Approach
IEEE Transactions on Software Engineering
Scenario-driven modeling and validation of requirements models
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Executable Acceptance Tests for Communicating Business Requirements: Customer Perspective
AGILE '06 Proceedings of the conference on AGILE 2006
Evaluating the efficacy of test-driven development: industrial case studies
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
Evaluating advantages of test driven development: a controlled experiment with professionals
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
Modeling events as entities in object-oriented conceptual modeling languages
Data & Knowledge Engineering - Special issue: ER 2004
From textual scenarios to a conceptual schema
Data & Knowledge Engineering - Special issue: Natural language and database and information systems: NLDB 03
Requirements Engineering
Understanding Conceptual Schemas: Exploring the Role of Application and IS Domain Knowledge
Information Systems Research
Information and Software Technology
Automated Generation of Test Cases Using Model-Driven Architecture
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
Journal of Management Information Systems
Model-Driven Architecture in Practice: A Software Production Environment Based on Conceptual Modeling
USE: A UML-based specification environment for validating UML and OCL
Science of Computer Programming
Conceptual Modeling of Information Systems
Conceptual Modeling of Information Systems
Model-Driven Testing: Using the UML Testing Profile
Model-Driven Testing: Using the UML Testing Profile
Teaching software development with ATDD and easyaccept
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Test driven: practical tdd and acceptance tdd for java developers
Test driven: practical tdd and acceptance tdd for java developers
Decidable Reasoning in UML Schemas with Constraints
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Verification of UML/OCL Class Diagrams using Constraint Programming
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Seven Principles of Software Testing
Computer
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Linking Requirements and Testing in Practice
RE '08 Proceedings of the 2008 16th IEEE International Requirements Engineering Conference
Reasoning on UML Conceptual Schemas with Operations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Constraint acquisition for Entity-Relationship models
Data & Knowledge Engineering
Reasoning on UML class diagrams
Artificial Intelligence
Debugging unsatisfiable classes in OWL ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
From UML/OCL to SBVR specifications: A challenging transformation
Information Systems
The measurement of perceived ontological deficiencies of conceptual modeling grammars
Data & Knowledge Engineering
Validating UML models and OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Multiple perspectives on executable acceptance test-driven development
XP'07 Proceedings of the 8th international conference on Agile processes in software engineering and extreme programming
An approach to testing conceptual schemas
Data & Knowledge Engineering
Testable requirements and specifications
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Towards automated reasoning on ORM schemes mapping ORM into the DLRidf description logic
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Software Engineering
Design Driven Testing: Test Smarter, Not Harder
Design Driven Testing: Test Smarter, Not Harder
Insights into enterprise conceptual modeling
Data & Knowledge Engineering
Enhancing the semantics of UML association redefinition
Data & Knowledge Engineering
Generating operation specifications from UML class diagrams: A model transformation approach
Data & Knowledge Engineering
Design science in information systems research
MIS Quarterly
Conceptual schema-centric development: a grand challenge for information systems research
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
A method for information systems testing automation
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
The impact of test-driven development on software development productivity: an empirical study
EuroSPI'07 Proceedings of the 14th European conference on Software Process Improvement
Editorial: A complete set of guidelines for naming UML conceptual schema elements
Data & Knowledge Engineering
Hi-index | 0.00 |
Test-Driven Development (TDD) is an extreme programming development method in which a software system is developed in short iterations. In this paper we present the Test-Driven Conceptual Modeling (TDCM) method, which is an application of TDD for conceptual modeling, and we show how to develop a conceptual schema using it. In TDCM, a system's conceptual schema is incrementally obtained by performing three kinds of tasks: (1) Write a test the system should pass; (2) Change the schema to pass the test; and (3) Refactor the schema to improve its qualities. We also describe an integration approach of TDCM into a broad set of software development methodologies, including the Unified Process development methodology, the MDD-based approaches, the storytest-driven agile methods and the goal and scenario-oriented requirements engineering methods. We deal with schemas written in UML/OCL, but the TDCM method could be adapted to the development of schemas in other languages.