Agile Processes in Software Engineering and Extreme Programming [[electronic resource] ] : 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8–12, 2020, Proceedings / / edited by Viktoria Stray, Rashina Hoda, Maria Paasivaara, Philippe Kruchten |
Autore | Stray Viktoria |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Springer Nature, 2020 |
Descrizione fisica | 1 online resource (X, 251 p. 28 illus., 11 illus. in color.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Software engineering
Information technology Business—Data processing Management information systems Computer science Software Engineering IT in Business Management of Computing and Information Systems |
Soggetto non controllato |
Software Engineering
IT in Business Management of Computing and Information Systems IT Operations Agile software development Software creation and management Scrum Lean software development Process management open access Test-driven development Project and people management Software development techniques Risk management Business mathematics & systems Business applications Information architecture Maintenance & repairs |
ISBN | 3-030-49392-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Agile Adoption -- An Agile Implementation and Expansive Learning: Identifying Contradictions and their Resolution using an Activity Theory Perspective -- Onboarding: How Newcomers Integrate into an Agile Project Team -- Agile Practices -- Combining User-Centered Design and Lean Startup with Agile Software Development: A Case Study of Two Agile Teams -- Agile software development practices and success in outsourced projects: The moderating role of requirements risk -- On the Use of Design Thinking: A Survey of the Brazilian Agile Software Development Community -- Characterising the Quality of Behaviour-Driven Development Specifications -- “I don’t understand!”: Toward a Model to Evaluate the Role of User Story Quality -- Large-Scale Agile -- Large-Scale Agile Transformation: A case study of transforming business, development and operations -- Improving Risk Management in a Scaled Agile Environment -- The Business of Agile -- “When in Rome, Do as the Romans Do”: Cultural Barriers to Being Agile in Distributed Teams -- A Quantitative Exploration of the 9-Factor Theory: Distribution of Leadership Roles between Scrum Master and Agile Team -- Group dynamics challenges for agile leaders: The importance of team design -- “This is just a prototype”: How Ethics Are Ignored in Software Startup-like Environments -- Hypotheses Elicitation in Early-Stage Software Startups Based on Cognitive Mapping -- Agile and Testing -- Results from a Replicated Experiment on the Affective Reactions of Novice Developers when Applying Test-Driven Development -- Α Survey on System Testing Methodologies. . |
Record Nr. | UNINA-9910404112803321 |
Stray Viktoria | ||
Springer Nature, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Agile Processes in Software Engineering and Extreme Programming [[electronic resource] ] : 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8–12, 2020, Proceedings / / edited by Viktoria Stray, Rashina Hoda, Maria Paasivaara, Philippe Kruchten |
Autore | Stray Viktoria |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Springer Nature, 2020 |
Descrizione fisica | 1 online resource (X, 251 p. 28 illus., 11 illus. in color.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Software engineering
Information technology Business—Data processing Management information systems Computer science Software Engineering IT in Business Management of Computing and Information Systems |
Soggetto non controllato |
Software Engineering
IT in Business Management of Computing and Information Systems IT Operations Agile software development Software creation and management Scrum Lean software development Process management open access Test-driven development Project and people management Software development techniques Risk management Business mathematics & systems Business applications Information architecture Maintenance & repairs |
ISBN | 3-030-49392-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Agile Adoption -- An Agile Implementation and Expansive Learning: Identifying Contradictions and their Resolution using an Activity Theory Perspective -- Onboarding: How Newcomers Integrate into an Agile Project Team -- Agile Practices -- Combining User-Centered Design and Lean Startup with Agile Software Development: A Case Study of Two Agile Teams -- Agile software development practices and success in outsourced projects: The moderating role of requirements risk -- On the Use of Design Thinking: A Survey of the Brazilian Agile Software Development Community -- Characterising the Quality of Behaviour-Driven Development Specifications -- “I don’t understand!”: Toward a Model to Evaluate the Role of User Story Quality -- Large-Scale Agile -- Large-Scale Agile Transformation: A case study of transforming business, development and operations -- Improving Risk Management in a Scaled Agile Environment -- The Business of Agile -- “When in Rome, Do as the Romans Do”: Cultural Barriers to Being Agile in Distributed Teams -- A Quantitative Exploration of the 9-Factor Theory: Distribution of Leadership Roles between Scrum Master and Agile Team -- Group dynamics challenges for agile leaders: The importance of team design -- “This is just a prototype”: How Ethics Are Ignored in Software Startup-like Environments -- Hypotheses Elicitation in Early-Stage Software Startups Based on Cognitive Mapping -- Agile and Testing -- Results from a Replicated Experiment on the Affective Reactions of Novice Developers when Applying Test-Driven Development -- Α Survey on System Testing Methodologies. . |
Record Nr. | UNISA-996465365203316 |
Stray Viktoria | ||
Springer Nature, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Agile Processes in Software Engineering and Extreme Programming – Workshops [[electronic resource] ] : XP 2020 Workshops, Copenhagen, Denmark, June 8–12, 2020, Revised Selected Papers / / edited by Maria Paasivaara, Philippe Kruchten |
Autore | Paasivaara Maria |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Springer Nature, 2020 |
Descrizione fisica | 1 online resource (XII, 318 p. 35 illus., 26 illus. in color.) |
Disciplina | 005.74 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Management information systems
Computer science Information technology Business—Data processing Management of Computing and Information Systems IT in Business |
Soggetto non controllato |
Management of Computing and Information Systems
IT in Business Software Engineering IT Operations XP Agile software development Extreme programming Lean development Software measurement open access Software maintenance Software testing Empirical software engineering Software management Software development techniques Business agility Information architecture Maintenance & repairs Business mathematics & systems Business applications |
ISBN | 3-030-58858-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Third International Workshop on Software-Intensive Business -- Unleashing the Business Potential of Software: A Summary of the Third International Workshop on Software-intensive Business -- An Approach for Software-Intensive Business Innovation Based on Experimentation in Non-Software-Intensive Companies -- Towards specific software engineering practices for early-stage startups -- API Utilization and Monetization in Finnish Industries -- ICO Crowdfunding: Incentives, Pricing Strategy, Token Strategy and Crowd Involvement -- What key aspects do ICOs reveal about their businesses -- Product Roadmap Alignment – Achieving the Vision Together: A Grey Literature Review -- Exploring the Success Factors for a Launch of an Algorithmic Consulting Platform -- Eighth International Workshop on Large-Scale Agile Development -- Agile at Scale: A Summary of the 8th International Workshop on Large-Scale Agile Development -- Operationalizing Agile Methods: Examining Coherence in Large-Scale Agile Transformations -- Transitioning from a First Generation to Second Generation Large-Scale Agile Development Method: Towards understanding Implications for Coordination -- Exploring the Product Owner Role within SAFe Implementation in a Multinational Enterprise -- Evaluation of Agile Team Work Quality -- A systematic approach to agile development in highly regulated environment -- Second European Workshop on Serverless Computing and Applications -- Summary of 2nd European Symposium on Serverless Computing and Applications -- Diminuendo! Tactics in Support of FaaS Migrations -- Predictable performance for QoS-sensitive, scalable, multi-tenant Function-as-a-Service deployments -- On the use of Web Assembly in a Serverless Context -- Second International Workshop on Agile Transformations -- Agile Transformation (ATRANS) Workshop: A Summary and Research Agenda -- Agile Transformation: How Employees Experience and Cope with Transformative Change -- Strategy-focused agile transformation: a case study -- Shifting conceptualization of control in Agile Transformations -- It’s not Easy Being Agile: Unpacking Paradoxes in Agile Environments -- First International Workshop on Agility with Microservices Programming -- Summary of the First International Workshop on Agility with Microservices Programming -- Improving agility by managing shared libraries in microservices -- Certification as a service -- Third International Workshop on Autonomous Agile Teams -- A decade of research on autonomous agile teams: A summary of the third international workshop at XP2020 -- Dependencies of Agile Teams – An Analysis of the Scaled Agile Framework -- Understanding Work Practices of Autonomous Agile Teams: A Social-Psychological Review -- Spotify Tailoring for Architectural Governance -- Enabling Team Autonomy in a Large Organization -- Defining TestOps: Collaborative Behaviors and Technology-driven Workflows Seen as Enablers of Effective Software Testing in DevOps -- Doctoral Symposium -- Investigating Agile Adoption in Saudi Arabian Mobile Application Development -- Crowd Agile Model for Effective Software Development -- Continuous Information Monitoring in Software Startups -- Agile Education and Training Track -- Is it Possible to Apply Agile Methods to Contribute to the Linux Kernel -- Forming and Assessing Student Teams in Software Engineering Courses -- Panel -- Covid-19’s Influence on the Future of Agile. |
Record Nr. | UNINA-9910420856303321 |
Paasivaara Maria | ||
Springer Nature, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Agile Processes in Software Engineering and Extreme Programming – Workshops [[electronic resource] ] : XP 2020 Workshops, Copenhagen, Denmark, June 8–12, 2020, Revised Selected Papers / / edited by Maria Paasivaara, Philippe Kruchten |
Autore | Paasivaara Maria |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Springer Nature, 2020 |
Descrizione fisica | 1 online resource (XII, 318 p. 35 illus., 26 illus. in color.) |
Disciplina | 005.74 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Management information systems
Computer science Information technology Business—Data processing Management of Computing and Information Systems IT in Business |
Soggetto non controllato |
Management of Computing and Information Systems
IT in Business Software Engineering IT Operations XP Agile software development Extreme programming Lean development Software measurement open access Software maintenance Software testing Empirical software engineering Software management Software development techniques Business agility Information architecture Maintenance & repairs Business mathematics & systems Business applications |
ISBN | 3-030-58858-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Third International Workshop on Software-Intensive Business -- Unleashing the Business Potential of Software: A Summary of the Third International Workshop on Software-intensive Business -- An Approach for Software-Intensive Business Innovation Based on Experimentation in Non-Software-Intensive Companies -- Towards specific software engineering practices for early-stage startups -- API Utilization and Monetization in Finnish Industries -- ICO Crowdfunding: Incentives, Pricing Strategy, Token Strategy and Crowd Involvement -- What key aspects do ICOs reveal about their businesses -- Product Roadmap Alignment – Achieving the Vision Together: A Grey Literature Review -- Exploring the Success Factors for a Launch of an Algorithmic Consulting Platform -- Eighth International Workshop on Large-Scale Agile Development -- Agile at Scale: A Summary of the 8th International Workshop on Large-Scale Agile Development -- Operationalizing Agile Methods: Examining Coherence in Large-Scale Agile Transformations -- Transitioning from a First Generation to Second Generation Large-Scale Agile Development Method: Towards understanding Implications for Coordination -- Exploring the Product Owner Role within SAFe Implementation in a Multinational Enterprise -- Evaluation of Agile Team Work Quality -- A systematic approach to agile development in highly regulated environment -- Second European Workshop on Serverless Computing and Applications -- Summary of 2nd European Symposium on Serverless Computing and Applications -- Diminuendo! Tactics in Support of FaaS Migrations -- Predictable performance for QoS-sensitive, scalable, multi-tenant Function-as-a-Service deployments -- On the use of Web Assembly in a Serverless Context -- Second International Workshop on Agile Transformations -- Agile Transformation (ATRANS) Workshop: A Summary and Research Agenda -- Agile Transformation: How Employees Experience and Cope with Transformative Change -- Strategy-focused agile transformation: a case study -- Shifting conceptualization of control in Agile Transformations -- It’s not Easy Being Agile: Unpacking Paradoxes in Agile Environments -- First International Workshop on Agility with Microservices Programming -- Summary of the First International Workshop on Agility with Microservices Programming -- Improving agility by managing shared libraries in microservices -- Certification as a service -- Third International Workshop on Autonomous Agile Teams -- A decade of research on autonomous agile teams: A summary of the third international workshop at XP2020 -- Dependencies of Agile Teams – An Analysis of the Scaled Agile Framework -- Understanding Work Practices of Autonomous Agile Teams: A Social-Psychological Review -- Spotify Tailoring for Architectural Governance -- Enabling Team Autonomy in a Large Organization -- Defining TestOps: Collaborative Behaviors and Technology-driven Workflows Seen as Enablers of Effective Software Testing in DevOps -- Doctoral Symposium -- Investigating Agile Adoption in Saudi Arabian Mobile Application Development -- Crowd Agile Model for Effective Software Development -- Continuous Information Monitoring in Software Startups -- Agile Education and Training Track -- Is it Possible to Apply Agile Methods to Contribute to the Linux Kernel -- Forming and Assessing Student Teams in Software Engineering Courses -- Panel -- Covid-19’s Influence on the Future of Agile. |
Record Nr. | UNISA-996465442703316 |
Paasivaara Maria | ||
Springer Nature, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Aligning Business Processes and Information Systems [[electronic resource] ] : New Approaches to Continuous Quality Engineering / / by Robert Heinrich |
Autore | Heinrich Robert |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2014 |
Descrizione fisica | 1 online resource (244 p.) |
Disciplina |
005.1
670.42 |
Soggetto topico |
Software engineering
Computers Information technology Business—Data processing Operations research Decision making Software Engineering/Programming and Operating Systems Information Systems and Communication Service IT in Business Operations Research/Decision Theory |
ISBN | 3-658-06518-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Business Process Quality -- Terms and Definitions -- Business Process Quality -- Quality Modeling within Business Process Models -- Aligning Business Process Design and Information System Design -- Foundations and Definitions -- The Order Picking Process and Involved Information System -- Mutual Performance Impact between Business Processes and Information Systems -- Predicting the Mutual Performance Impact between Business Processes and Information Systems -- Extending Palladio by Business Process Simulation Concepts to Enable an Integrated Simulation -- Validation -- Conclusion -- Summary and Future Work. |
Record Nr. | UNINA-9910298983503321 |
Heinrich Robert | ||
Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Analytics Enabled Decision Making [[electronic resource] /] / edited by Vinod Sharma, Chandan Maheshkar, Jeanne Poulose |
Autore | Sharma Vinod |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Palgrave Macmillan, , 2023 |
Descrizione fisica | 1 online resource (315 pages) |
Disciplina | 658.403 |
Altri autori (Persone) |
MaheshkarChandan
PouloseJeanne |
Soggetto topico |
International business enterprises
Information technology—Management Business information services Business—Data processing Electronic commerce International Business Business Process Management Business Information Systems Business Analytics E-Business Business IT Infrastructure |
Soggetto non controllato |
Computer Science
Electronic Commerce Computers Business & Economics |
ISBN | 981-19-9658-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1 Next generation smart manufacturing and service systems using big data analytics -- Chapter 2 Elements of decision making under uncertainty -- Chapter 3 Data, Inference, and Marketing Decisions -- Chapter 4 Competitor and competition Analysis through analytics -- Chapter 5 Influence of big data analytics on business intelligence -- Chapter 6 Improved price alignment to perceived value of product/service using data analytics -- Chapter 7 Changing the landscape of retailing using pricing analytics -- Chapter 8 Enhancing efficiency and effectiveness in supply chain management through Business Intelligence -- Chapter 9 Quantifying thoughts and feelings about a company from big data to improve brand strength -- Chapter 10 Enabling achievement of organisational/corporate goals through HR analytics -- Chapter 11 Workforce Analytics facilitates Human Resource Demand Forecasting -- Chapter 12 Ascertainment of Employee Competencies and measurement with greater precision using T&D Analytics -- Chapter 13 Analytics to Measure Employees’ Behavioural Traits and predict employee performance -- Chapter 14 Using predictive analytics alongside psychometric assessments and other measures to identify the candidates with the right performance and behavioural criteria -- Chapter 15 Designing competitive yet cost effective compensation packages using analytics to reduce attrition -- Chapter 16 Mitigating Compliance Failure Risk using Analytics (gender equal pay, overtime payments, appropriate number of each category of employees) -- Chapter 17 Predictive analytics to aid employee alignment with the culture of the organisation -- Chapter 18 Analysing the impact of Employees’ Satisfaction and Frustration on their and organizations’ performance -- Chapter 19 Assessing and Controlling Political Behaviour of Groups in Organizations -- Chapter 20 Measuring Organizational/Industrial Citizenship Behaviour -- Chapter 21 Psychological Framework and Methodology for Analysing Decision Risk -- Chapter 22 Analysing Challenging Behaviours of Two Individuals with Intellectual Differences/Disability -- Chapter 23 Measuring the effectiveness of data analytics in higher education to improve student outcomes -- Chapter 24 Building an industry 4.0 analytics platform with a proven example and proof of concept -- Chapter 25 Gaining competitive advantage through business analytics. |
Record Nr. | UNINA-9910726277303321 |
Sharma Vinod | ||
Singapore : , : Springer Nature Singapore : , : Imprint : Palgrave Macmillan, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Analytics, Innovation, and Excellence-Driven Enterprise Sustainability [[electronic resource] /] / edited by Elias G. Carayannis, Stavros Sindakis |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | New York : , : Palgrave Macmillan US : , : Imprint : Palgrave Macmillan, , 2017 |
Descrizione fisica | 1 online resource (XVIII, 288 p. 60 illus.) |
Disciplina | 658.514 |
Collana | Palgrave Studies in Democracy, Innovation, and Entrepreneurship for Growth |
Soggetto topico |
Management
Industrial management Information technology Business—Data processing Management information systems Organization Planning Innovation/Technology Management IT in Business Business Information Systems |
ISBN | 1-137-37879-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Analytics, Innovation and Excellence – Driven Enterprise Sustainability in a Dynamic Era -- 2. Business Intelligence and Analytics: Big Systems for Big Data -- 3. Business Analytics for Price Trend Forecasting Through Textual Data -- 4. Market Research and Predictive Analytics: Using Analytics to Measure Customer and Marketing Behavior in Business Ventures -- 5. Strategic Planning Revisited: Acquisition and Exploitation of Information on Foreign Markets -- 6. Innovation in the Open Data Ecosystem: Exploring the Role of Real Options Thinking and Multi-sided Platforms for Sustainable Value Generation Through Open Data -- 7. Sustainability – Oriented Business Model Assessment – A Conceptual Foundation -- 8. Smart Decision-Making and Productivity in the Digital World:the Case of PATAmPower -- 9. Change Management – Planning for the Future and the Competitive Environment -- 10. EU Operational Program “Education for Competitiveness” and its Impact on Sustainable Development -- 11. Applying Data Analytics for Innovation and Sustainable Enterprise Excellence. |
Record Nr. | UNINA-9910254903203321 |
New York : , : Palgrave Macmillan US : , : Imprint : Palgrave Macmillan, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Analytische Informationssysteme [[electronic resource] ] : Business Intelligence-Technologien und -Anwendungen / / herausgegeben von Peter Gluchowski, Peter Chamoni |
Edizione | [5th ed. 2016.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Gabler, , 2016 |
Descrizione fisica | 1 online resource (362 p.) |
Disciplina | 650 |
Soggetto topico |
Information technology
Business—Data processing Management Information storage and retrieval IT in Business Information Storage and Retrieval |
ISBN | 3-662-47763-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | Vorwörter -- Teil I: Grundlagen und organisatorische Aspekte -- Teil II: Architektur und Technologien -- Teil III: Betriebswirtschaftliche Anwendungen und spezielle Aspekte -- Stichwort- und Autorenverzeichnis. |
Record Nr. | UNINA-9910483860203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Gabler, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Anwendungsbezogenes Projektmanagement [[electronic resource] ] : Praxis und Theorie für Projektleiter / / von Christian Bär, Jens Fiege, Markus Weiß |
Autore | Bär Christian |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2017 |
Descrizione fisica | 1 online resource (X, 150 S. 42 Abb.) |
Disciplina | 005.74 |
Collana | Xpert.press |
Soggetto topico |
Management information systems
Computer science E-commerce Information technology Business—Data processing Application software Management of Computing and Information Systems e-Commerce/e-business IT in Business Computer Applications |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | Teil I: Pragmatische und methodische Vorgehensweise.-Begriffsbestimmungen und Definitionen -- Projektwürdigkeitsanalyse -- Projektorganisation und Durchführung -- SMART formulierter Projektauftrag -- Rahmenbedingungen für die Projektsteuerung -- Projektkoordination -- Projektcontrolling -- Projektabschluss -- Teil II: Praxisfall -- Das Softwareprojekt bei der Muster GmbH -- Index. |
Record Nr. | UNINA-9910163987103321 |
Bär Christian | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Applications and Theory of Petri Nets 2001 [[electronic resource] ] : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings / / edited by Jose-Manuel Colom, Maciej Koutny |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (XII, 408 p.) |
Disciplina | 004.24015115 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Mathematical logic
Software engineering Computer communication systems Computer science—Mathematics Information technology Business—Data processing Mathematical Logic and Foundations Software Engineering Mathematical Logic and Formal Languages Computer Communication Networks Discrete Mathematics in Computer Science IT in Business |
ISBN | 3-540-45740-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort? -- The Flux of Interaction -- Towards a Notion of Distributed Time for Petri Nets -- Full Papers -- Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance -- Timed Petri Nets and BQOs -- CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets -- Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems -- Condensed State Spaces for Timed Petri Nets -- Unfolding of Products of Symmetrical Petri Nets -- partial Order Verification of Programmable Logic Controllers -- Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets -- Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets -- A Concurrent Semantics of Static Exceptions in a Parallel Programming Language -- A Concurrent Semantics of Static Exceptions in a Parallel Programming Language -- Modelling the Structure and Behaviour of Petri Net Agents -- Modelling the Structure and Behaviour of Petri Net Agents -- Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints -- Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints -- Incremental State Space Construction for Coloured Petri Nets -- Incremental State Space Construction for Coloured Petri Nets -- Optimising Enabling Tests and Unfoldings of Algebraic System Nets -- Optimising Enabling Tests and Unfoldings of Algebraic System Nets -- Extending the Petri Box Calculus with Time -- Extending the Petri Box Calculus with Time -- Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets -- Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets -- Pr/T-Net Based Seamless Design of Embedded Real-Time Systems -- Pr/T-Net Based Seamless Design of Embedded Real-Time Systems -- Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time -- Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time -- Partial S-Invariants for the Verification of Infinite Systems Families -- Partial S-Invariants for the Verification of Infinite Systems Families. |
Record Nr. | UNINA-9910143600303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|