https://www.mdu.se/

mdu.sePublications
Change search
Refine search result
1 - 3 of 3
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the Create feeds function.
  • 1.
    Andersson, Mona
    et al.
    Mälardalen University, School of Business.
    Segelod, Esbjörn
    Mälardalen University, School of Business.
    Selegård, Peter
    Mälardalen University, School of Business.
    Några uppsatsprojekt med anknytning till Eskilstuna kommuns näringsliv2005Report (Other (popular science, discussion, etc.))
  • 2.
    Ericsson, AnneMarie
    et al.
    University of Skövde, Sweden .
    Pettersson, Paul
    Mälardalen University, Department of Computer Science and Electronics.
    Berndtsson, Mikael
    University of Skövde, Sweden .
    Seiriö, Marco
    RuleCore, Sweden .
    Seamless Formal Verification of Complex Event Processing Applications2007In: ACM International Conference Proceeding Series, Volume 233, 2007, p. 50-61Conference paper (Refereed)
    Abstract [en]

    Despite proven successful in previous projects, the use of formal methods for enhancing quality of software is still not used in its full potential in industry. We argue that seamless support for formal verification in a high-level specification tool enhances the attractiveness of using a formal approach for increasing software quality.

    Commercial Complex Event Processing (CEP) engines often have support for modelling, debugging and testing CEP applications. However, the possibility of utilizing formal analysis is not considered.

    We argue that using a formal approach for verifying a CEP system can be performed without expertise in formal methods. In this paper, a prototype tool REX is presented with support for specifying both CEP systems and correctness properties of the same application in a high-level graphical language. The specified CEP applications are seamlessly transformed into a timed automata representation together with the high-level properties for automatic verification in the model-checker UPPAAL.

  • 3.
    Selegård, Peter
    Mälardalen University, School of Innovation, Design and Engineering.
    Tillväxtbilder, regionala intentioner samt entreprenörers orsaksförklaringar av tillväxt: en penroseisk syn på regional tillväxt2011Doctoral thesis, monograph (Other academic)
    Abstract [en]

    Thesis purpose was obtained by interviewing twelve practitioners involved in a Regional Growth Programme (RGP) in their own work (regional co-ordination officers, public and private regional business organisations, municipal and local business officials). Core categories were extracted according to a grounded theoretical method approach. Generally, the regional public business organisations said that it was not necessary that businesses and entrepreneurs should be part of the partnership working with regional growth in a RGP. On the other hand the municipal commissioners of some municipalities in Södermanland and local business officials tended to respond that it was a weakness not to let the businesses and entrepreneurs be involved in the RGP implementation process. A research question was formulated. How a regional public image of growth through an RGP differs from the picture of growth mediated by entrepreneurs from a solo-, micro- and small business context. Emerging images were examined, but also regional intentions set in relation to entrepreneurs’ causal explanations of growth.

    Findings

    A comparison of growth images indicates both similarities and differences. Ideologically, the images of growth stands in direct contrast to each other. Examples of this are growth through increased employment in a regional perspective, while labour increase is not always seen as part of a business growth definition. Similarities are where RGP discusses the value added as a measure of growth and the business community discusses earnings and profits. A heterogeneous business indicates other values than economic ones. The results also shows personal development and creative assignments as images of growth. Images that are missing in the RGP. The result of the entrepreneurs’ causal explanations of growth and RGP´s intentions indicates similarities in their perception that networks and relationships, business skills and economic situation is important factors for growth. One difference is that growth is caused by or impeded by internal causal explanations, especially personal related factors as the entrepreneurs’ stories were expressed. In relation to a Penrosean analytical model interviewed entrepreneurs have shortcomings, especially in management skills and abilities. The Penrosean analysis model also indicated that it was difficult to ascertain whether regional intentions by RGP could correspond to a theoretical enterprise growth. A high degree of abstractions in RGP could explain why RGP could only partly be seen as a resource in comparison to a small business context by a Penrosean analysis. However, there are regional intentions, which are relatively clear, with a focus on business, but from Penrosean perspective the focus was on the result of a growth process rather than on the growth process itself within a company. One conclusive discussion focuses on the fact that regional business operators should have access to entrepreneurs’ stories to have the possibility to make common interpretations and thereby avoid the business organisations own interests. The study introduces the low-bottom-up concept with a clearer perspective on specific target group adjusted partnerships.

    Download full text (pdf)
    fulltext
1 - 3 of 3
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf