Filters








947 Hits in 3.6 sec

Deduction in the Verification Support Environment (VSE) [chapter]

Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, AndreasWolpers Wolpers
1996 Lecture Notes in Computer Science  
In order to assure the highest levels of trustworthiness of software formal methods for the development of software are required.  ...  The reliability of complex software systems is becoming increasingly important for the technical systems they are embedded in.  ...  Figure 1 shows the general method for formal software development in VSE. The concrete instance of this general method depends on the formal concepts used for modeling the desired system.  ... 
doi:10.1007/3-540-60973-3_92 fatcat:iqutvdhp3jby7hedhvwks7zjje

The VSE Refinement Method in Hets [chapter]

Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski
2009 Lecture Notes in Computer Science  
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS.  ...  Thus the logic-independent layers of HETS are not modified and its proof management formalism can be applied to VSE specifications.  ...  Acknowledgements Work on this paper has been supported by the German Federal Ministry of Education and Research (Project 01 IW 07002 FormalSafe).  ... 
doi:10.1007/978-3-642-10373-5_34 fatcat:cbhnmdboofe4hhvdyjqzcmvftm

The VSE Refinement Method in Hets

Till Mossakowski, Mihai Codescu, Christian Maeder, Bruno Langenstein
2013 Electronic Communications of the EASST  
We present the integration of the refinement method of the VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set Hets.  ...  Thus the proof management formalism provided by Hets can be applied for VSE specifications without modification of the logic independent layers of Hets.  ...  Bibliography [1] Spezifikationssprache VSE-SL, 1997. Part of the VSE documentation. [2] J. Adámek, H. Herrlich, and G. Strecker. Abstract and Concrete Categories. Wiley, New York, 1990.  ... 
doi:10.14279/tuj.eceasst.62.859 dblp:journals/eceasst/MossakowskiCML13 fatcat:24vc4e4hwvavhbfjo43np44hbu

Software Development Team Dynamics in SPI: A VSE Context

Shuib Basri, Rory V. OConnor
2012 2012 19th Asia-Pacific Software Engineering Conference  
on the software development process.  ...  This paper discusses the dynamics of software development teams (structure, process, communication, learning and sharing) and its impact on Software Process Improvement (SPI) in software VSEs based on  ...  ACKNOWLEGMENTS This work was supported, in part, by Science Foundation Ireland grant 10/CE/I1855 to Lero -the Irish Software Engineering Research Centre (www.lero.ie) and Universiti Teknologi PETRONAS,  ... 
doi:10.1109/apsec.2012.26 dblp:conf/apsec/BasriO12 fatcat:4znio3jhr5cy5ip7sql2jtufva

Critical Software Processes Tailoring and Very Small Entities (VSE): A Literature Review

G. H. Diniz, A. M. Ambrosio, C. H. N. Lahoz
2019 International Journal of Advanced Engineering Research and Science  
Accordingly, the projects' criteria selection is a means to support the understanding of the influence factors for critical software projects in VSE context and, furthermore, to develop a notion on adequate  ...  Results show the review organized in topics that surround the research objective, presenting the critical software and VSE scenario.  ...  For many small software companies, it is a major challenge implementing controls and structures to properly manage their software processes (Larrucea, et al., 2016) , and the lack of formalism in their  ... 
doi:10.22161/ijaers.611.43 fatcat:yppaur47praexb6prolx5bz4ry

The mediating role of innovativeness in the relationship between market orientation and performance: an application to Senegalese agri-food VSEs

Balla Doucouré, Fatiha Fort, Ibrahima-Samba Dankoco
2018 Transnational Corporation Review  
These results reinforce the reliability of the scales developed in the context of developed countries. The confirmatory factor analysis was performed using the AMOS software. The Tables 2 and 3 .  ...  A successful market orientation allows VSEs' managers to have good control of their commercial environment.  ... 
doi:10.1080/19186444.2018.1475090 fatcat:zzkn4ji7wrbshkj42eerborp24

Towards an Understanding of Software Development Process Knowledge in Very Small Companies [chapter]

Shuib Basri, Rory V. O'Connor
2011 Communications in Computer and Information Science  
important influence on the level of team dynamics in the software development process.  ...  Team dynamics influences the process of knowledge exchange. The paper focuses on exploring this relationship in software development organizations.  ...  This work were supported, between Science Foundation Ireland grant 03/CE2/I303_1 to Lero -the Irish Software Engineering Research Centre (www.lero.ie) and Universiti Teknologi PETRONAS, Malaysia (www.utp.edu.my  ... 
doi:10.1007/978-3-642-25462-8_6 fatcat:o5nvey52lragdcpl4gwaw5wwji

A Study of Knowledge Management Process Practices in Very Small Software Companies

S.
2011 American Journal of Economics and Business Administration  
The discourse of knowledge management is becoming more evident in the software engineering literature, as the software development activity is essentially a human knowledge intensive activity.  ...  Conclusion: The findings in this study give an insight towards knowledge management practices as they relate to software development process practices in very small companies and the important factors  ...  ACKNOWLEDGEMENT This study was supported, in part, by Science Foundation Ireland grant 03/CE2/I303_1 to Lerothe Irish Software Engineering Research Centre (www. lero.ie).  ... 
doi:10.3844/ajebasp.2011.636.644 fatcat:2bger6jawbfvnor3d3h3we6tsa

Software Engineering Support Activities for Very Small Entities [chapter]

Vincent Ribaud, Philippe Saliou, Rory V. O'Connor, Claude Y. Laporte
2010 Communications in Computer and Information Science  
the ways the company can manage its software development and maintenance.  ...  The developers of the standard, ISO/IEC JCT1/SC7 Working Group 24 (WG24), recommend the use of pilot projects as a mean to trial the adoption of the new International standard in small organisations.  ...  The Basic Profile does not cover all the activities of the 12207 Software Configuration management process. A software Version Control Strategy is developed.  ... 
doi:10.1007/978-3-642-15666-3_15 fatcat:4hzvb6uzxzf3rjet66tt4hjkee

A Study of Software Development Team Dynamics in SPI [chapter]

Shuib Basri, Rory V. O'Connor
2011 Communications in Computer and Information Science  
The software development team is a key factor in software projects, however, achieving and maintaining positive team dynamics in software development project especially when the software companies have  ...  This paper explores the dynamics of software development teams (structure, process, communication, learning and sharing) and its impact on Software Process Improvement (SPI) in very small software organization  ...  This work were supported, between Science Foundation Ireland grant 03/CE2/I303_1 to Lero -the Irish Software Engineering Research Centre (www.lero.ie) and Universiti Teknologi PETRONAS, Malaysia (www.utp.edu.my  ... 
doi:10.1007/978-3-642-22206-1_13 fatcat:ofv7loigzzaqzc4vvxaulme3ce

FORMALIZATION OF CONTROL MECHANISMS: THE CASE OF SMALL COMPANIES

Andriamasimanana Origene Harizofinoana, Andriamasimanana Origene Olivier
2020 International Journal of Engineering Technologies and Management Research  
A hypothetical-deductive approach was adopted in this research to demonstrate that the more the size of companies changes, the more the degree of formalization of control systems increases.  ...  Control mechanisms are the major problem for small companies such as VSEs and SMEs today.  ...  Results and Discussions The survey questionnaire that we developed using the Sphinx software enabled us to deal with several topics, including the formalization of the control system at the level of VSEs  ... 
doi:10.29121/ijetmr.v6.i7.2019.431 fatcat:vw5ucihlnnaf5cy2vppnjxcvmq

Formal Requirements Engineering Using Observer Models [chapter]

Andreas Nonnengart, Georg Rock, Werner Stephan
2002 Lecture Notes in Computer Science  
Today we are confronted with an enormous variety of formal software engineering approaches and tools. Among these are many that address the critical early stages of software development.  ...  However, only little attention has been paid to the integration of different specialised approaches and to the overall development process.  ...  Among these are many that address the critical early stages of software development.  ... 
doi:10.1007/3-540-45923-5_18 fatcat:ymh2dufc7bhk5kecyeay2lvida

Open Source Systems Engineering Guides, Deployment Packages and Support Tools for Very Small Enterprises -- A Case Study

Claude Y. Laporte, Ronald Houde
2015 INCOSE International Symposium  
In addition, and by design, the standard is supported by Deployment Packages, software tools and training kits. The INCOSE VSE working group developed the deployment packages.  ...  In tune with the need for low cost and flexibility, Open Source software tools are emerging to complete "Big League" development life-cycle toolsets, which are often out-of-reach to VSEs.  ...  in obstacles 2.0 Safety VSEs developing system or software.  ... 
doi:10.1002/j.2334-5837.2015.00059.x fatcat:sggn35dtl5dsjbti6ksjx2admm

Creation and Delivery of Complex Learning Experiences: The ELeGI Approach

Nicola Capuano, Angelo Gaeta, Agostino Marengo, Sergio Miranda, Francesco Orciuoli, Pierluigi Ritrovato
2009 2009 International Conference on Complex, Intelligent and Software Intensive Systems  
The software architecture has been designed and developed taking into account the learning model for the personalisation of complex learning experiences.  ...  The paper presents the main findings of the ELeGI project, namely its learning model and software architecture to support the creation and execution of complex learning processes.  ...  The ELeGI software architecture The ELeGI Software Architecture for formal learning (a.k.a.  ... 
doi:10.1109/cisis.2009.129 dblp:conf/cisis/CapuanoGMMOR09 fatcat:umlz4364mnalbnevnp4vsh5phm

Understanding the Role of Knowledge Management in Software Development

Rory V. O'Connor, Shuib Basri
2014 International Journal of Systems and Service-Oriented Engineering  
This paper discusses the role of software development knowledge management within software development process and specifically how software development knowledge is managed in software development in  ...  The role of knowledge management in the software engineering literature is becoming more evident, as the software development activity is essentially a human knowledge intensive activity and is seen by  ...  ACKNOWLEDGMENT This work was supported, in part, by Science Foundation Ireland grant 10/CE/I1855 to Lerothe Irish Software Engineering Research Centre (www.lero.ie).  ... 
doi:10.4018/ijssoe.2014010103 fatcat:u4yle24gz5by7kvapbrlglsgv4
« Previous Showing results 1 — 15 out of 947 results