Advanced Information Systems Engineering [[electronic resource] ] : 9th International Conference, CAiSE'97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings / / edited by Antoni Olive, Joan A. Pastor |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (XII, 460 p.) |
Disciplina | 005.1/0285/53 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Database management
Computers Computer engineering Software engineering Application software Management information systems Computer science Database Management Theory of Computation Computer Engineering Software Engineering Information Systems Applications (incl. Internet) Management of Computing and Information Systems |
ISBN | 3-540-69148-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The story of the IDEA Methodology -- Integrating semi-formal and formal requirements -- Stimuli and business policies as modelling constructs: Their definition and validation through the event calculus -- Using scenarios to validate requirements in a plausibility-centred approach -- Behaviour specification in database interoperation -- Implementing semantic-based decomposition of transactions -- Negotiation transactions: An approach to increase the automation of workflows -- Towards method-driven trace capture -- A multi-perspective framework for the analysis of legacy information systems -- Facilitating analysis and diagnosis in organisations -- OO-Method: An OO software production environment combining conventional and formal methods -- Application of a generator-based software development method supporting model reuse -- A toolkit for Reuse in Conceptual Modelling -- Performance engineering of human and computerised workflows -- Meta-CASE in practice: A CASE for KOGGE -- Augmenting CASE tools with hypertext: Desired functionality and implementation issues -- Interval-based representation of spatio-temporal concepts -- Temporal object role modelling -- Complex object versioning -- A methodology for the design of distributed web systems -- Digital Neighbourhoods: Partitioning the Web for information indexing and searching -- Intranet facilitated knowledge management: A theory and tool for defining situational methods -- A conceptual approach to meta-modelling -- Preserving behaviour: Why and how -- Modeling behavior of Geographic Objects: An experience with the Object Modeling Technique -- Design of distributed applications based on the OSI model -- DELOS-A repository based environment for developing network centric applications -- TDE: Supporting geographically distributed software design with shared, collaborative workspaces -- Semantics of reactive components in event-driven workflow execution -- Workflow transparency -- Towards real-scale business transaction workflow modelling. |
Record Nr. | UNISA-996465559403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced Information Systems Engineering [[electronic resource] ] : 9th International Conference, CAiSE'97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings / / edited by Antoni Olive, Joan A. Pastor |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (XII, 460 p.) |
Disciplina | 005.1/0285/53 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Database management
Computers Computer engineering Software engineering Application software Management information systems Computer science Database Management Theory of Computation Computer Engineering Software Engineering Information Systems Applications (incl. Internet) Management of Computing and Information Systems |
ISBN | 3-540-69148-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The story of the IDEA Methodology -- Integrating semi-formal and formal requirements -- Stimuli and business policies as modelling constructs: Their definition and validation through the event calculus -- Using scenarios to validate requirements in a plausibility-centred approach -- Behaviour specification in database interoperation -- Implementing semantic-based decomposition of transactions -- Negotiation transactions: An approach to increase the automation of workflows -- Towards method-driven trace capture -- A multi-perspective framework for the analysis of legacy information systems -- Facilitating analysis and diagnosis in organisations -- OO-Method: An OO software production environment combining conventional and formal methods -- Application of a generator-based software development method supporting model reuse -- A toolkit for Reuse in Conceptual Modelling -- Performance engineering of human and computerised workflows -- Meta-CASE in practice: A CASE for KOGGE -- Augmenting CASE tools with hypertext: Desired functionality and implementation issues -- Interval-based representation of spatio-temporal concepts -- Temporal object role modelling -- Complex object versioning -- A methodology for the design of distributed web systems -- Digital Neighbourhoods: Partitioning the Web for information indexing and searching -- Intranet facilitated knowledge management: A theory and tool for defining situational methods -- A conceptual approach to meta-modelling -- Preserving behaviour: Why and how -- Modeling behavior of Geographic Objects: An experience with the Object Modeling Technique -- Design of distributed applications based on the OSI model -- DELOS-A repository based environment for developing network centric applications -- TDE: Supporting geographically distributed software design with shared, collaborative workspaces -- Semantics of reactive components in event-driven workflow execution -- Workflow transparency -- Towards real-scale business transaction workflow modelling. |
Record Nr. | UNINA-9910768479703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering [[electronic resource] ] : 7th International Conference, CAiSE '95, Jyväskylä, Finland, June 12 - 16, 1995. Proceedings / / edited by Juhani Iivari, Kalle Lyytinen, Matti Rossi |
Edizione | [1st ed. 1995.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
Descrizione fisica | 1 online resource (XII, 396 p.) |
Disciplina | 005.1/0285/53 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Software engineering Computer simulation Database management Theory of Computation Software Engineering/Programming and Operating Systems Simulation and Modeling Database Management Software Engineering Models and Principles |
ISBN | 3-540-49290-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Process improvement — The way forward -- A method for explaining the behaviour of conceptual models -- COLOR-X: Linguistically-based event modeling: A general approach to dynamic modeling -- Supporting transaction design in conceptual modelling of information systems -- Facet models for problem analysis -- A framework for requirements analysis using automated reasoning -- Towards a deeper understanding of quality in requirements engineering -- Modelling inheritance, composition and relationship links between objects, object versions and class versions -- Hypertext version management in an actor-based framework -- Modelling ways-of-working -- Modelling communication between cooperative systems -- Challenges in applying objects to large systems -- Feasibility of flexible information modelling support -- A meta-model for business rules in systems analysis -- Metrics in method engineering -- InfoHarness: Use of automatically generated metadata for search and retrieval of heterogeneous information -- Designing the user interface on top of a conceptual model -- Graphical representation and manipulation of complex structures based on a formal model -- Providing integrated support for multiple development notations -- A federated approach to tool integration -- Domain knowledge reuse during requirements engineering -- Strategies and techniques: Reusable artifacts for the construction of database management systems -- The impact of new information architectures on industry and government transformation -- Standard transformations for the normalization of ER schemata -- The rapid application and database development (RADD) workbench — A comfortable database design tool -- A psychological study on the use of relationship concept Some preliminary findings -- Alignment of software quality and service quality -- A guide for software maintenance evaluation: Experience report -- Natural naming in software development: Feedback from practitioners. |
Record Nr. | UNISA-996466144503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Building Tightly Integrated Software Development Environments: The IPSEN Approach [[electronic resource] /] / edited by Manfred Nagl |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (X, 718 p.) |
Disciplina | 005.1/0285/53 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer engineering Programming languages (Electronic computers) Management information systems Computer science Mathematical logic Software Engineering/Programming and Operating Systems Computer Engineering Software Engineering Programming Languages, Compilers, Interpreters Management of Computing and Information Systems Mathematical Logic and Formal Languages |
ISBN | 3-540-49578-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Overview: Introduction, classification, and global approach -- The outside perspective: Tools, environments, their integration, and user interface -- Internal conceptual modeling: Graph grammar specifications -- Realization: Derivation of efficient tools -- Current and future work, open problems -- Conclusion: Summary, evaluation, and vision. |
Record Nr. | UNISA-996465592603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|