A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Deduction in the Verification Support Environment (VSE)
[chapter]
1996
Lecture Notes in Computer Science
Preserved Fulltext
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]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Electronic Communications of the EASST
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2012
2012 19th Asia-Pacific Software Engineering Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2019
International Journal of Advanced Engineering Research and Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2018
Transnational Corporation Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2011
Communications in Computer and Information Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2011
American Journal of Economics and Business Administration
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Communications in Computer and Information Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2011
Communications in Computer and Information Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2020
International Journal of Engineering Technologies and Management Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2015
INCOSE International Symposium
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
2009 International Conference on Complex, Intelligent and Software Intensive Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
International Journal of Systems and Service-Oriented Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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