---
_id: '21276'
abstract:
- lang: eng
text: "This collection of essays presents new work on women’s contribution to philosophy
between the Renaissance and the mid-eighteenth century. They bring a new perspective
to the history of philosophy, by highlighting women’s contributions to philosophy
and testifying to the rich history of women’s thought in this period.\r\n\r\nBy
showing that women were active in many branches of philosophy (metaphysics, science,
political philosophy cosmology, ontology, epistemology) the book testifies to
the rich history of women’s thought across Europe in this period. The scope of
the collection is international, both in terms of the philosophers represented
and the contributors themselves from Britain and North America, but also from
continental Europe and from as far afield as Australia and Brazil. The philosophers
discussed here include both figures who have recently come to be better known
(Elisabeth of Bohemia, Anne Conway, Mary Astell, Catharine Trotter Cockburn, Emilie
du Châtelet), and less familiar figures (Moderata Fonte, Lucrezia Marinella Arcangela
Tarabotti, Tullia d’Aragona, Madame Deshoulières, Madame de Sablé, Angélique de
Saint-Jean Arnauld d’Andilly, Olivia Sabuco, Susanna Newcome).\r\n\r\nThe chapters
in this book were originally published as a special issue of the British Journal
for the History of Philosophy."
citation:
ama: Hagengruber R, Hutton S, eds. Women Philosophers from the Renaissance to
the Enlightenment. 1st ed. Routledge; 2021.
apa: Hagengruber, R., & Hutton, S. (Eds.). (2021). Women Philosophers from
the Renaissance to the Enlightenment (1st ed.). Routledge.
bibtex: '@book{Hagengruber_Hutton_2021, place={London}, edition={1}, title={Women
Philosophers from the Renaissance to the Enlightenment}, publisher={Routledge},
year={2021} }'
chicago: 'Hagengruber, Ruth, and Sarah Hutton, eds. Women Philosophers from the
Renaissance to the Enlightenment. 1st ed. London: Routledge, 2021.'
ieee: 'R. Hagengruber and S. Hutton, Eds., Women Philosophers from the Renaissance
to the Enlightenment, 1st ed. London: Routledge, 2021.'
mla: Hagengruber, Ruth, and Sarah Hutton, editors. Women Philosophers from the
Renaissance to the Enlightenment. 1st ed., Routledge, 2021.
short: R. Hagengruber, S. Hutton, eds., Women Philosophers from the Renaissance
to the Enlightenment, 1st ed., Routledge, London, 2021.
date_created: 2021-02-24T15:50:57Z
date_updated: 2022-11-25T19:55:54Z
department:
- _id: '519'
edition: '1'
editor:
- first_name: Ruth
full_name: Hagengruber, Ruth
id: '198'
last_name: Hagengruber
orcid: https://orcid.org/0000-0003-3360-6335
- first_name: Sarah
full_name: Hutton, Sarah
last_name: Hutton
keyword:
- History of Women Philosophers
- Methodology
- History of Philosophy
- Women's Studies
- Gender History
language:
- iso: eng
place: London
publication_identifier:
isbn:
- ISBN 9780367758646
publisher: Routledge
quality_controlled: '1'
status: public
title: Women Philosophers from the Renaissance to the Enlightenment
type: book_editor
user_id: '49063'
year: '2021'
...
---
_id: '17019'
abstract:
- lang: eng
text: The scientific impact of research papers is multi-dimensional and can be determined
quantitatively by means of citation analysis and qualitatively by means of content
analysis. Accounting for the widely acknowledged limitations of pure citation
analysis, we adopt a knowledge-based perspective on scientific impact to develop
a methodology for content-based citation analysis which allows determining how
papers have enabled knowledge development in subsequent research (knowledge impact).
As knowledge development differs between research genres, we develop a new knowledgebased
citation analysis methodology for the genre of standalone literature reviews (LRs).
We apply the suggested methodology to the IS business value domain by manually
coding 22 LRs and 1,228 citing papers (CPs) and show that the results challenge
the assumption that citations indicate knowledge impact. We derive implications
for distinguishing knowledge impact from citation impact in the LR genre. Finally,
we develop recommendations for authors of LRs, scientific evaluation committees
and editorial boards of journals how to apply and benefit from the suggested methodology,
and we discuss its efficiency and automatization.
author:
- first_name: Guido
full_name: Schryen, Guido
id: '72850'
last_name: Schryen
- first_name: Gerit
full_name: Wagner, Gerit
last_name: Wagner
- first_name: Alexander
full_name: Benlian, Alexander
last_name: Benlian
citation:
ama: 'Schryen G, Wagner G, Benlian A. Distinguishing Knowledge Impact from Citation
Impact: A Methodology for Analysing Knowledge Impact for the Literature Review
Genre.; 2020.'
apa: 'Schryen, G., Wagner, G., & Benlian, A. (2020). Distinguishing Knowledge
Impact from Citation Impact: A Methodology for Analysing Knowledge Impact for
the Literature Review Genre.'
bibtex: '@book{Schryen_Wagner_Benlian_2020, title={Distinguishing Knowledge Impact
from Citation Impact: A Methodology for Analysing Knowledge Impact for the Literature
Review Genre}, author={Schryen, Guido and Wagner, Gerit and Benlian, Alexander},
year={2020} }'
chicago: 'Schryen, Guido, Gerit Wagner, and Alexander Benlian. Distinguishing
Knowledge Impact from Citation Impact: A Methodology for Analysing Knowledge Impact
for the Literature Review Genre, 2020.'
ieee: 'G. Schryen, G. Wagner, and A. Benlian, Distinguishing Knowledge Impact
from Citation Impact: A Methodology for Analysing Knowledge Impact for the Literature
Review Genre. 2020.'
mla: 'Schryen, Guido, et al. Distinguishing Knowledge Impact from Citation Impact:
A Methodology for Analysing Knowledge Impact for the Literature Review Genre.
2020.'
short: 'G. Schryen, G. Wagner, A. Benlian, Distinguishing Knowledge Impact from
Citation Impact: A Methodology for Analysing Knowledge Impact for the Literature
Review Genre, 2020.'
date_created: 2020-05-19T15:12:33Z
date_updated: 2022-01-06T06:53:02Z
ddc:
- '000'
department:
- _id: '277'
file:
- access_level: open_access
content_type: application/pdf
creator: hsiemes
date_created: 2020-05-19T15:09:28Z
date_updated: 2020-05-19T15:09:28Z
file_id: '17020'
file_name: SSRN-id3581789.pdf
file_size: 487351
relation: main_file
file_date_updated: 2020-05-19T15:09:28Z
has_accepted_license: '1'
keyword:
- Scientific impact
- knowledge impact
- content-based citation analysis
- methodology
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://ssrn.com/abstract=3581789
oa: '1'
status: public
title: 'Distinguishing Knowledge Impact from Citation Impact: A Methodology for Analysing
Knowledge Impact for the Literature Review Genre'
type: working_paper
user_id: '61579'
year: '2020'
...
---
_id: '17055'
abstract:
- lang: eng
text: Understanding a new literature corpus can be a grueling experience for junior
scholars. Nevertheless, corresponding guidelines have not been updated for decades.
We contend that the traditional strategy of skimming all papers and reading selected
papers afterwards needs to be revised. Therefore, we design a new strategy that
guides the overall exploratory process by prioritizing influential papers for
initial reading, followed by skimming the remaining papers. Consistent with schemata
theory, starting with in-depth reading allows readers to acquire more substantial
prior content schemata, which are representa-tive for the literature corpus and
useful in the following skimming process. To this end, we develop a prototype
that identifies the influential papers from a set of PDFs, which is illustrated
in a case study in the IT business value domain. With the new strategy, we envision
a more efficient process of exploring unknown literature corpora.
author:
- first_name: Gerit
full_name: Wagner, Gerit
last_name: Wagner
- first_name: Philipp
full_name: Empl, Philipp
last_name: Empl
- first_name: Guido
full_name: Schryen, Guido
id: '72850'
last_name: Schryen
citation:
ama: 'Wagner G, Empl P, Schryen G. Designing a Novel Strategy for Exploring Literature
Corpora. In: 28th European Conference on Information Systems (ECIS 2020).
; 2020.'
apa: Wagner, G., Empl, P., & Schryen, G. (2020). Designing a Novel Strategy
for Exploring Literature Corpora. In 28th European Conference on Information
Systems (ECIS 2020). Marrakesh, Morocco.
bibtex: '@inproceedings{Wagner_Empl_Schryen_2020, title={Designing a Novel Strategy
for Exploring Literature Corpora}, booktitle={28th European Conference on Information
Systems (ECIS 2020)}, author={Wagner, Gerit and Empl, Philipp and Schryen, Guido},
year={2020} }'
chicago: Wagner, Gerit, Philipp Empl, and Guido Schryen. “Designing a Novel Strategy
for Exploring Literature Corpora.” In 28th European Conference on Information
Systems (ECIS 2020), 2020.
ieee: G. Wagner, P. Empl, and G. Schryen, “Designing a Novel Strategy for Exploring
Literature Corpora,” in 28th European Conference on Information Systems (ECIS
2020), Marrakesh, Morocco, 2020.
mla: Wagner, Gerit, et al. “Designing a Novel Strategy for Exploring Literature
Corpora.” 28th European Conference on Information Systems (ECIS 2020),
2020.
short: 'G. Wagner, P. Empl, G. Schryen, in: 28th European Conference on Information
Systems (ECIS 2020), 2020.'
conference:
location: Marrakesh, Morocco
name: Twenty-Eigth European Conference on Information Systems (ECIS2020)
date_created: 2020-05-24T15:23:32Z
date_updated: 2022-01-06T06:53:03Z
ddc:
- '000'
department:
- _id: '277'
file:
- access_level: open_access
content_type: application/pdf
creator: hsiemes
date_created: 2020-05-24T17:17:32Z
date_updated: 2021-08-13T14:04:55Z
file_id: '17056'
file_name: 2020-03-27-ECIS2020 Designing a novel strategy for exploring literature
corpora.pdf
file_size: 590754
relation: main_file
file_date_updated: 2021-08-13T14:04:55Z
has_accepted_license: '1'
keyword:
- Reading and skimming
- Exploring literature
- Review methodology
- Design science research
- Schemata theory
language:
- iso: eng
oa: '1'
publication: 28th European Conference on Information Systems (ECIS 2020)
status: public
title: Designing a Novel Strategy for Exploring Literature Corpora
type: conference
user_id: '61579'
year: '2020'
...
---
_id: '5633'
abstract:
- lang: eng
text: 'Literature reviews (LRs) are recognized for their increasing impact in the
information systems literature. Methodologists have drawn attention to the question
of how we can leverage the value of LRs to preserve and generate knowledge. The
panelists who participated in the discussion of ?Standalone Literature Reviews
in IS Research: What Can Be Learnt from the Past and Other Fields?? at ICIS 2016
in Dublin acknowledged this significant issue and debated a) what the IS field
can learn from other fields and where IS-specific challenges occur, b) how the
IS field should move forward to foster the genre of LRs, and c) what best practices
are to train doctoral IS students in publishing LRs. This article reports the
key takeaways of this panel discussion. Guidance for IS scholars is provided on
how to conduct LRs that contribute to the cumulative knowledge development within
and across the IS field to best prepare the next generation of IS scholars.'
author:
- first_name: Guido
full_name: Schryen, Guido
id: '72850'
last_name: Schryen
- first_name: Alexander
full_name: Benlian, Alexander
last_name: Benlian
- first_name: Frantz
full_name: Rowe, Frantz
last_name: Rowe
- first_name: Gregor
full_name: Shirley, Gregor
last_name: Shirley
- first_name: Kai
full_name: Larsen, Kai
last_name: Larsen
- first_name: Stacie
full_name: Petter, Stacie
last_name: Petter
- first_name: Guy
full_name: Par{\'e}, Guy
last_name: Par{\'e}
- first_name: Gerit
full_name: Wagner, Gerit
last_name: Wagner
- first_name: Steffi
full_name: Haag, Steffi
last_name: Haag
- first_name: Emrah
full_name: Yasasin, Emrah
last_name: Yasasin
citation:
ama: 'Schryen G, Benlian A, Rowe F, et al. Literature Reviews in IS Research: What
Can Be Learnt from the Past and Other Fields? Communications of the AIS.
2017;40:557-569.'
apa: 'Schryen, G., Benlian, A., Rowe, F., Shirley, G., Larsen, K., Petter, S., …
Yasasin, E. (2017). Literature Reviews in IS Research: What Can Be Learnt from
the Past and Other Fields? Communications of the AIS, 40, 557–569.'
bibtex: '@article{Schryen_Benlian_Rowe_Shirley_Larsen_Petter_Par{\’e}_Wagner_Haag_Yasasin_2017,
title={Literature Reviews in IS Research: What Can Be Learnt from the Past and
Other Fields?}, volume={40}, journal={Communications of the AIS}, publisher={Association
for Information Systems (AIS)}, author={Schryen, Guido and Benlian, Alexander
and Rowe, Frantz and Shirley, Gregor and Larsen, Kai and Petter, Stacie and Par{\’e},
Guy and Wagner, Gerit and Haag, Steffi and Yasasin, Emrah}, year={2017}, pages={557–569}
}'
chicago: 'Schryen, Guido, Alexander Benlian, Frantz Rowe, Gregor Shirley, Kai Larsen,
Stacie Petter, Guy Par{\’e}, Gerit Wagner, Steffi Haag, and Emrah Yasasin. “Literature
Reviews in IS Research: What Can Be Learnt from the Past and Other Fields?” Communications
of the AIS 40 (2017): 557–69.'
ieee: 'G. Schryen et al., “Literature Reviews in IS Research: What Can Be
Learnt from the Past and Other Fields?,” Communications of the AIS, vol.
40, pp. 557–569, 2017.'
mla: 'Schryen, Guido, et al. “Literature Reviews in IS Research: What Can Be Learnt
from the Past and Other Fields?” Communications of the AIS, vol. 40, Association
for Information Systems (AIS), 2017, pp. 557–69.'
short: G. Schryen, A. Benlian, F. Rowe, G. Shirley, K. Larsen, S. Petter, G. Par{\’e},
G. Wagner, S. Haag, E. Yasasin, Communications of the AIS 40 (2017) 557–569.
date_created: 2018-11-14T14:25:40Z
date_updated: 2022-01-06T07:02:14Z
ddc:
- '000'
department:
- _id: '277'
extern: '1'
file:
- access_level: open_access
content_type: application/pdf
creator: hsiemes
date_created: 2018-12-07T11:33:59Z
date_updated: 2018-12-13T15:07:15Z
file_id: '6027'
file_name: Schryen et al. (forthcoming), Literature Reviews in IS Research, What
Can Be Learnt from the Past and Other Fields, Communications of th.pdf
file_size: 361850
relation: main_file
file_date_updated: 2018-12-13T15:07:15Z
has_accepted_license: '1'
intvolume: ' 40'
keyword:
- Literature Review
- Review Methodology
- Research Methodology
- Doctoral Training
language:
- iso: eng
oa: '1'
page: 557 - 569
publication: Communications of the AIS
publication_identifier:
issn:
- 1529-3181
publisher: Association for Information Systems (AIS)
status: public
title: 'Literature Reviews in IS Research: What Can Be Learnt from the Past and Other
Fields?'
type: journal_article
user_id: '61579'
volume: 40
year: '2017'
...
---
_id: '4689'
author:
- first_name: Oliver
full_name: Müller, Oliver
id: '72849'
last_name: Müller
- first_name: Iris
full_name: Junglas, Iris
last_name: Junglas
- first_name: Jan
full_name: vom Brocke, Jan
last_name: vom Brocke
- first_name: Stefan
full_name: Debortoli, Stefan
last_name: Debortoli
citation:
ama: 'Müller O, Junglas I, vom Brocke J, Debortoli S. Utilizing big data analytics
for information systems research: Challenges, promises and guidelines. European
Journal of Information Systems. 2016;(4):289--302. doi:10.1057/ejis.2016.2'
apa: 'Müller, O., Junglas, I., vom Brocke, J., & Debortoli, S. (2016). Utilizing
big data analytics for information systems research: Challenges, promises and
guidelines. European Journal of Information Systems, (4), 289--302. https://doi.org/10.1057/ejis.2016.2'
bibtex: '@article{Müller_Junglas_vom Brocke_Debortoli_2016, title={Utilizing big
data analytics for information systems research: Challenges, promises and guidelines},
DOI={10.1057/ejis.2016.2}, number={4},
journal={European Journal of Information Systems}, author={Müller, Oliver and
Junglas, Iris and vom Brocke, Jan and Debortoli, Stefan}, year={2016}, pages={289--302}
}'
chicago: 'Müller, Oliver, Iris Junglas, Jan vom Brocke, and Stefan Debortoli. “Utilizing
Big Data Analytics for Information Systems Research: Challenges, Promises and
Guidelines.” European Journal of Information Systems, no. 4 (2016): 289--302.
https://doi.org/10.1057/ejis.2016.2.'
ieee: 'O. Müller, I. Junglas, J. vom Brocke, and S. Debortoli, “Utilizing big data
analytics for information systems research: Challenges, promises and guidelines,”
European Journal of Information Systems, no. 4, pp. 289--302, 2016.'
mla: 'Müller, Oliver, et al. “Utilizing Big Data Analytics for Information Systems
Research: Challenges, Promises and Guidelines.” European Journal of Information
Systems, no. 4, 2016, pp. 289--302, doi:10.1057/ejis.2016.2.'
short: O. Müller, I. Junglas, J. vom Brocke, S. Debortoli, European Journal of Information
Systems (2016) 289--302.
date_created: 2018-10-12T08:29:46Z
date_updated: 2022-01-06T07:01:18Z
doi: 10.1057/ejis.2016.2
extern: '1'
issue: '4'
keyword:
- analytics
- big data
- data source
- information systems research
- methodology
language:
- iso: eng
page: 289--302
publication: European Journal of Information Systems
publication_identifier:
isbn:
- 0960-085X
issn:
- '14769344'
status: public
title: 'Utilizing big data analytics for information systems research: Challenges,
promises and guidelines'
type: journal_article
user_id: '72849'
year: '2016'
...
---
_id: '5618'
abstract:
- lang: eng
text: Literature reviews play an important role in the development of knowledge.
Yet, we observe a lack of theoretical underpinning of and epistemological insights
into how literature reviews can contribute to knowledge creation and have actually
contributed in the IS discipline. To address these theoretical and empirical research
gaps, we suggest a novel epistemological model of literature reviews. This model
allows us to align different contributions of literature reviews with their underlying
knowledge conversions - thereby building a bridge between the previously largely
unconnected fields of literature reviews and epistemology. We evaluate the appropriateness
of the model by conducting an empirical analysis of 173 IS literature reviews
which were published in 39 pertinent IS journals between 2000 and 2014. Based
on this analysis, we derive an epistemological taxonomy of IS literature reviews,
which complements previously suggested typologies.
author:
- first_name: Guido
full_name: Schryen, Guido
id: '72850'
last_name: Schryen
- first_name: Gerit
full_name: Wagner, Gerit
last_name: Wagner
- first_name: Alexander
full_name: Benlian, Alexander
last_name: Benlian
citation:
ama: 'Schryen G, Wagner G, Benlian A. Theory of Knowledge for Literature Reviews:
An Epistemological Model, Taxonomy and Empirical Analysis of IS Literature. In:
International Conference on Information Systems (ICIS). ; 2015.'
apa: 'Schryen, G., Wagner, G., & Benlian, A. (2015). Theory of Knowledge for
Literature Reviews: An Epistemological Model, Taxonomy and Empirical Analysis
of IS Literature. In International Conference on Information Systems (ICIS).'
bibtex: '@inproceedings{Schryen_Wagner_Benlian_2015, title={Theory of Knowledge
for Literature Reviews: An Epistemological Model, Taxonomy and Empirical Analysis
of IS Literature}, booktitle={International Conference on Information Systems
(ICIS)}, author={Schryen, Guido and Wagner, Gerit and Benlian, Alexander}, year={2015}
}'
chicago: 'Schryen, Guido, Gerit Wagner, and Alexander Benlian. “Theory of Knowledge
for Literature Reviews: An Epistemological Model, Taxonomy and Empirical Analysis
of IS Literature.” In International Conference on Information Systems (ICIS),
2015.'
ieee: 'G. Schryen, G. Wagner, and A. Benlian, “Theory of Knowledge for Literature
Reviews: An Epistemological Model, Taxonomy and Empirical Analysis of IS Literature,”
in International Conference on Information Systems (ICIS), 2015.'
mla: 'Schryen, Guido, et al. “Theory of Knowledge for Literature Reviews: An Epistemological
Model, Taxonomy and Empirical Analysis of IS Literature.” International Conference
on Information Systems (ICIS), 2015.'
short: 'G. Schryen, G. Wagner, A. Benlian, in: International Conference on Information
Systems (ICIS), 2015.'
date_created: 2018-11-14T14:01:13Z
date_updated: 2022-01-06T07:02:10Z
ddc:
- '000'
department:
- _id: '277'
extern: '1'
file:
- access_level: open_access
content_type: application/pdf
creator: hsiemes
date_created: 2018-12-07T11:44:48Z
date_updated: 2018-12-13T15:09:22Z
file_id: '6037'
file_name: ICIS PROCEEDINGS PAPER - Literature Reviews.pdf
file_size: 487102
relation: main_file
file_date_updated: 2018-12-13T15:09:22Z
has_accepted_license: '1'
keyword:
- Literature review
- Research methods/methodology
- Theory of knowledge
language:
- iso: eng
oa: '1'
publication: International Conference on Information Systems (ICIS)
status: public
title: 'Theory of Knowledge for Literature Reviews: An Epistemological Model, Taxonomy
and Empirical Analysis of IS Literature'
type: conference
user_id: '61579'
year: '2015'
...
---
_id: '5643'
abstract:
- lang: eng
text: Enduring doubts about the value of IS investments reveal that IS researchers
have not fully managed to identify and to explain the economic benefits of IS.
This paper assumes that literature reviews, which represent a powerful instrument
for the identification and synthesis of knowledge, have not tapped their full
potential to address this issue due to deficiencies in methodology. The analysis
of 18 literature reviews published in pertinent academic outlets during the past
20 years shows such deficiencies. Two of the most critical weaknesses identified
are (1) the lack of theory use in most reviews and (2) a weak linkage of reviews,
resulting in little progress in theory and framework development. The systematic
identification of these weaknesses and the extraction of promising methodological
examples from past literature are the main contributions of this work, which supports
the composition of more effective literature reviews in future research.
author:
- first_name: Guido
full_name: Schryen, Guido
id: '72850'
last_name: Schryen
citation:
ama: 'Schryen G. An Analysis of Literature Reviews on IS Business Value: How Deficiencies
in Methodology and Theory Use Resulted in Limited Effectiveness. In: Proceedings
of the First Scandinavian Conference on Information Systems (SCIS). ; 2010.'
apa: 'Schryen, G. (2010). An Analysis of Literature Reviews on IS Business Value:
How Deficiencies in Methodology and Theory Use Resulted in Limited Effectiveness.
In Proceedings of the First Scandinavian Conference on Information Systems
(SCIS).'
bibtex: '@inproceedings{Schryen_2010, title={An Analysis of Literature Reviews on
IS Business Value: How Deficiencies in Methodology and Theory Use Resulted in
Limited Effectiveness}, booktitle={Proceedings of the First Scandinavian Conference
on Information Systems (SCIS)}, author={Schryen, Guido}, year={2010} }'
chicago: 'Schryen, Guido. “An Analysis of Literature Reviews on IS Business Value:
How Deficiencies in Methodology and Theory Use Resulted in Limited Effectiveness.”
In Proceedings of the First Scandinavian Conference on Information Systems
(SCIS), 2010.'
ieee: 'G. Schryen, “An Analysis of Literature Reviews on IS Business Value: How
Deficiencies in Methodology and Theory Use Resulted in Limited Effectiveness,”
in Proceedings of the First Scandinavian Conference on Information Systems
(SCIS), 2010.'
mla: 'Schryen, Guido. “An Analysis of Literature Reviews on IS Business Value: How
Deficiencies in Methodology and Theory Use Resulted in Limited Effectiveness.”
Proceedings of the First Scandinavian Conference on Information Systems (SCIS),
2010.'
short: 'G. Schryen, in: Proceedings of the First Scandinavian Conference on Information
Systems (SCIS), 2010.'
date_created: 2018-11-14T14:36:26Z
date_updated: 2022-01-06T07:02:18Z
ddc:
- '000'
department:
- _id: '277'
extern: '1'
file:
- access_level: open_access
content_type: application/pdf
creator: hsiemes
date_created: 2018-12-11T15:14:51Z
date_updated: 2018-12-13T15:17:00Z
file_id: '6186'
file_name: 2010_Book_ScandinavianInformationSystems - Schryen.pdf
file_size: 302340
relation: main_file
file_date_updated: 2018-12-13T15:17:00Z
has_accepted_license: '1'
keyword:
- Literature review
- Business value
- Information systems
- Methodology
- Theory
language:
- iso: eng
oa: '1'
publication: Proceedings of the First Scandinavian Conference on Information Systems
(SCIS)
status: public
title: 'An Analysis of Literature Reviews on IS Business Value: How Deficiencies in
Methodology and Theory Use Resulted in Limited Effectiveness'
type: conference
user_id: '61579'
year: '2010'
...
---
_id: '39061'
abstract:
- lang: eng
text: This article presents an approach, which combines theorem proving-based refinement
with model checking for state based real-time systems. Our verification flow starts
from UML state diagrams, which are translated to the formal B language and are
model checked for real-time properties. By means of the B language and a B theorem
prover, refined state diagrams are verified against their abstract representation.
The approach is presented by means of the refinement of a digital echo cancellation
unit.
author:
- first_name: Alexander
full_name: Krupp, Alexander
last_name: Krupp
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Ian
full_name: Oliver, Ian
last_name: Oliver
citation:
ama: 'Krupp A, Müller W, Oliver I. Formal Refinement and Model Checking of An Echo
Cancellation Unit. In: Proceedings of DATE’04 Designers’ Forum. ; 2004.
doi:10.1109/DATE.2004.1269214'
apa: Krupp, A., Müller, W., & Oliver, I. (2004). Formal Refinement and Model
Checking of An Echo Cancellation Unit. Proceedings of DATE’04 Designers’ Forum.
Proceedings Design, Automation and Test in Europe Conference and Exhibition. https://doi.org/10.1109/DATE.2004.1269214
bibtex: '@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement
and Model Checking of An Echo Cancellation Unit}, DOI={10.1109/DATE.2004.1269214},
booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander
and Müller, Wolfgang and Oliver, Ian}, year={2004} }'
chicago: Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and
Model Checking of An Echo Cancellation Unit.” In Proceedings of DATE’04 Designers’
Forum. Paris, 2004. https://doi.org/10.1109/DATE.2004.1269214.
ieee: 'A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking
of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation
and Test in Europe Conference and Exhibition, 2004, doi: 10.1109/DATE.2004.1269214.'
mla: Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation
Unit.” Proceedings of DATE’04 Designers’ Forum, 2004, doi:10.1109/DATE.2004.1269214.
short: 'A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum,
Paris, 2004.'
conference:
name: Proceedings Design, Automation and Test in Europe Conference and Exhibition
date_created: 2023-01-24T08:53:26Z
date_updated: 2023-01-24T08:53:31Z
department:
- _id: '672'
doi: 10.1109/DATE.2004.1269214
keyword:
- Echo cancellers
- Logic
- Unified modeling language
- Automata
- Data structures
- Boolean functions
- Electronic design automation and methodology
- Prototypes
- Specification languages
- Constraint theory
language:
- iso: eng
place: Paris
publication: Proceedings of DATE’04 Designers' Forum
publication_identifier:
isbn:
- 0-7695-2085-5
status: public
title: Formal Refinement and Model Checking of An Echo Cancellation Unit
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39421'
abstract:
- lang: eng
text: We present a rigorous but transparent semantics definition of SystemC that
covers method, thread, and clocked thread behavior as well as their interaction
with the simulation kernel process. The semantics includes watching statements,
signal assignment, and wait statements as they are introduced in SystemC V1.O.
We present our definition in form of distributed Abstract State Machines (ASMs)
rules reflecting the view given in the SystemC User's Manual and the reference
implementation. We mainly see our formal semantics as a concise, unambiguous,
high-level specification for SystemC-based implementations and for standardization.
Additionally, it can be used as a sound basis to investigate SystemC interoperability
with Verilog and VHDL.
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Jürgen
full_name: Ruf, Jürgen
last_name: Ruf
- first_name: D. W.
full_name: Hoffmann, D. W.
last_name: Hoffmann
- first_name: Joachim
full_name: Gerlach, Joachim
last_name: Gerlach
- first_name: Thomas
full_name: Kropf, Thomas
last_name: Kropf
- first_name: W.
full_name: Rosenstiehl, W.
last_name: Rosenstiehl
citation:
ama: 'Müller W, Ruf J, Hoffmann DW, Gerlach J, Kropf T, Rosenstiehl W. The Simulation
Semantics of SystemC. In: Proceedings of the Design, Automation, and Test in
Europe (DATE’01). IEEE; 2001. doi:10.1109/DATE.2001.915002'
apa: Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., & Rosenstiehl,
W. (2001). The Simulation Semantics of SystemC. Proceedings of the Design,
Automation, and Test in Europe (DATE’01). Proceedings Design, Automation
and Test in Europe. Conference and Exhibition 2001. https://doi.org/10.1109/DATE.2001.915002
bibtex: '@inproceedings{Müller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place={Munich,
Germany }, title={The Simulation Semantics of SystemC}, DOI={10.1109/DATE.2001.915002},
booktitle={Proceedings of the Design, Automation, and Test in Europe (DATE’01)},
publisher={IEEE}, author={Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W.
and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W.}, year={2001} }'
chicago: 'Müller, Wolfgang, Jürgen Ruf, D. W. Hoffmann, Joachim Gerlach, Thomas
Kropf, and W. Rosenstiehl. “The Simulation Semantics of SystemC.” In Proceedings
of the Design, Automation, and Test in Europe (DATE’01). Munich, Germany :
IEEE, 2001. https://doi.org/10.1109/DATE.2001.915002.'
ieee: 'W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl,
“The Simulation Semantics of SystemC,” presented at the Proceedings Design, Automation
and Test in Europe. Conference and Exhibition 2001, 2001, doi: 10.1109/DATE.2001.915002.'
mla: Müller, Wolfgang, et al. “The Simulation Semantics of SystemC.” Proceedings
of the Design, Automation, and Test in Europe (DATE’01), IEEE, 2001, doi:10.1109/DATE.2001.915002.
short: 'W. Müller, J. Ruf, D.W. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiehl,
in: Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE,
Munich, Germany , 2001.'
conference:
name: ' Proceedings Design, Automation and Test in Europe. Conference and Exhibition
2001'
date_created: 2023-01-24T10:39:33Z
date_updated: 2023-01-24T10:39:38Z
department:
- _id: '672'
doi: 10.1109/DATE.2001.915002
keyword:
- Yarn
- Formal verification
- Kernel
- Hardware design languages
- Electronic design automation and methodology
- Algebra
- Computational modeling
- Logic functions
- Computer languages
- Clocks
language:
- iso: eng
place: 'Munich, Germany '
publication: Proceedings of the Design, Automation, and Test in Europe (DATE’01)
publication_identifier:
isbn:
- 0-7695-0993-2
publisher: IEEE
status: public
title: The Simulation Semantics of SystemC
type: conference
user_id: '5786'
year: '2001'
...