149,499 Hits in 6.7 sec

Formal specification in collaborative design of critical software tools

D. Coppit, K.J. Sullivan
Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)  
Engineers use software tools to model and analyze designs for critical systems.  ...  Such tools thus demand careful conceptual and software design. An important aspect of such design is the use of rigorous specification and advanced design techniques.  ...  We thank John Knight for discussions in which he emphasized the need for sound engineering of software tools.  ... 
doi:10.1109/hase.1998.731590 dblp:conf/hase/CoppitS98 fatcat:rplazgmztveovewnqblflhcha4

OctoUML: An Environment for Exploratory and Collaborative Software Design

Boban Vesin, Rodi Jolak, Michel R.V. Chaudron
2017 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)  
OctoUML supports the creation of software models at various levels of formality, collaborative software design, and multi-modal interaction methods.  ...  Furthermore, software design tools should be able to provide features for collaborative work on the design.  ...  The user can then select to see the layers in combination or isolation. C. Interaction Modes and Collaboration The usability of current CASE tools is a common source of criticism [4] .  ... 
doi:10.1109/icse-c.2017.19 dblp:conf/icse/VesinJC17 fatcat:hqr6naudyncjhcmbpog7kmpbeu

A Vision on a New Generation of Software Design Environments

Michel R. V. Chaudron, Rodi Jolak
2015 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
In this paper we explain our vision for a new generation of software design environments.  ...  We aim to generalize existing software development tools in several key wayswhich include: integration of rigorous and informal notations, and support for multiple modes of interaction.  ...  Formal tools like CASE tools are restrictive in that they require designers to use some specific notations for modeling.  ... 
dblp:conf/models/ChaudronJ15 fatcat:djwb2vf7qfbr7pm5jgwutlweya

DECODER - DEveloper COmpanion for Documented and annotatEd code Reference [chapter]

Victoria Torres, Miriam Gil, Vicente Pelechano
2019 Lecture Notes in Computer Science  
Software is everywhere and the productivity of Software Engineers has increased radically with the advent of new specifications, design and programming paradigms and languages.  ...  DECODER project will develop a methodology and tools to improve the productivity of the software development process for medium-criticality applications in the domains of IoT, Cloud Computing, and Operating  ...  software for medium-criticality domains.  ... 
doi:10.1007/978-3-030-35333-9_44 fatcat:tkv2gddxx5cdloe2bb52nq5a54

Comparative Analysis and Design of Wired and Wireless Integrated Networks for Wireless Sensor Networks

Meong-hun Lee, Hyun Yoe
2007 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007)  
Recently, several flavors of Formal Methods (FMs) have been gaining industrial acceptance and production quality software tools have begun emerging.  ...  Domain Engineering (DE) has been introduced as one of outstanding ideas in software development.  ...  It is performed before requirement engineering and software design in the development of safety critical systems.  ... 
doi:10.1109/sera.2007.65 dblp:conf/sera/LeeY07a fatcat:j2fuis23mvfvtmyqpjirntetmm

Semantically-Enabled Project-Based Collaborative Learning of Software Patterns

Zoran Jeremic, Jelena Jovanovic, Dragan Gasevic
2009 2009 Ninth IEEE International Conference on Advanced Learning Technologies  
Teaching and learning software design patterns (DPs) is not an easy task.  ...  Therefore, to make the learning process of DPs effective, it is necessary to include a project component in which students, usually in small teams, develop a medium-sized software application.  ...  DEPTHS integrates an existing Learning Management System (LMS), a software modeling tool, diverse collaboration tools and relevant online repositories of software DPs.  ... 
doi:10.1109/icalt.2009.106 dblp:conf/icalt/JeremicJG09 fatcat:a6hvko3tangz3j4spqmikbluom

A Preliminary Formal Specification of Virtual Organization Creation with RAISE Specification Language

Mohammad Reza Nami, Mohsen Sharifi, Abbas Malekpour
2007 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007)  
Recently, several flavors of Formal Methods (FMs) have been gaining industrial acceptance and production quality software tools have begun emerging.  ...  Domain Engineering (DE) has been introduced as one of outstanding ideas in software development.  ...  It is performed before requirement engineering and software design in the development of safety critical systems.  ... 
doi:10.1109/sera.2007.25 dblp:conf/sera/NamiSM07 fatcat:lbry3tymgbdarl45ibnolxwkcm

Critical Systems Development Using Modeling Languages (CSDUML'04): Current Developments and Future Challenges (Report on the Third International Workshop) [chapter]

Jan Jürjens, Eduardo B. Fernandez, Robert B. France, Bernhard Rumpe, Constance Heitmeyer
2005 Lecture Notes in Computer Science  
We give a short report on the contributions to and some discussions made and conclusions drawn at the Third International Workshop on Critical Systems Development Using Modeling Languages (CSDUML'04).  ...  In addition, some of the organizers thank their various projects (including the Verisoft project) for funding.  ...  (Politécnico de Beja), and the students involved in the organization at TU Munich (in particular Dimitri Kopjev and Britta Liebscher) for their indispensable help.  ... 
doi:10.1007/978-3-540-31797-5_9 fatcat:3nzd3oirjjcrpbre6tuy7axrja

Preface by the section editors

Bengt Jonsson, Konstantinos Sagonas
2003 International Journal on Software Tools for Technology Transfer (STTT)  
ASTEC (Advanced Software TEChnology) is a competence center for industrially relevant research on software technology, centered in Uppsala, Stockholm, and Västerås.  ...  This issue also contains a set of companion articles, which describe some of the main projects and results obtained in the context of ASTEC.  ...  with tools and (formal) methods for analysis of specifications for the purposes of verification, validation, test generation, and tracing of requirements.  ... 
doi:10.1007/s10009-003-0108-7 fatcat:uxcy2vjdbrf7xl7mghtadstyjq

Test Case Generation for Critical Systems through a Collaborative Web-Based Tool

Alessandro Oliveira Arantes, Nandamudi Lankalapalli Vijaykumar, Valdivino Alexandre de Santiago Junior, Danielle Guimaraes
2008 2008 International Conference on Computational Intelligence for Modelling Control & Automation  
This paper addresses an experience in the modeling issue in using Statecharts to represent the specification of space application software from which test sequences can be generated.  ...  As the software for space applications is considered as a complex system with several components (usually in parallel), test designers seem to look for other alternatives instead of modeling via FSM.  ...  Section 3 shows the importance of testing critical systems in a collaborative scenario and also presents PerformCharts tool by explaining how a model represented in Statecharts is converted into a FSM  ... 
doi:10.1109/cimca.2008.143 dblp:conf/cimca/ArantesVJG08 fatcat:zezoqlmgsvd6nmy4xjhs3z2vuu

A Study of Resilient Architecture for Critical Software-Intensive System-of-Systems (Sisos)

Nadeem Akhtar, Malik Muhammad, Nadeem Salamat, Amnah Firdous, Mujtaba Husnain
2016 International Journal of Advanced Computer Science and Applications  
An approach has been proposed for the analysis, design, formal specification and verification of critical Software-intensive System-of-Systems.  ...  As critical system-of-systems have to operate in open environments in which they interact and collaborate with other systems, satisfy action of the requirements through traditional offline top-down engineering  ...  The major emphasis will be the application of formal methods at the earlier stage of software specification and design.  ... 
doi:10.14569/ijacsa.2016.070834 fatcat:g4kdhh7r7vg63k2dfsebkzjtx4

Envisioning Improved Work Practices and Associated Technology Requirements in the Context of the Broader Socio-technical System [chapter]

Joan Cahill
2008 Human Computer Interaction: New Developments  
HCI design methodologies are used at different points in the software development lifecycle to design new technologies or re-design existing technologies, in the context of both open and closed systems  ...  In place of a formal definition, engineering psychologists have proposed a range of characteristics to describe these systems.  ...  Facilitate Communication of User Requirements and Design Concepts to Software Developers & Graphic Designers Lastly, it is critical that the analysis and design outputs of the HCI design methodologies  ... 
doi:10.5772/5871 fatcat:upeep53tmrezzdfxgof46jzdn4

Examining the Role of Human and Technical Infrastructure during Emergency Response

John J. Robinson, Jim Maddock, Kate Starbird
2015 International Conference on Information Systems for Crisis Response and Management  
Infrastructures-both technical and human-are critical components of emergency response, helping to facilitate and shape both formal work practices and the improvisational work that individuals and organizations  ...  These interviews illuminate weaknesses in some of the systems designed to support the information and communication needs of emergency workers, and demonstrate emergency workers assembling their own ICT  ...  & Engineering Capstone class; the College of Engineering's Capstone Design Fund; and all of our interviewees for their time and energy.  ... 
dblp:conf/iscram/RobinsonMS15 fatcat:4bfb2qbkf5cptc77b4t6uc7fru

Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods [chapter]

Richard F. Paige, Jonathan S. Ostroff
2004 Lecture Notes in Computer Science  
specification-driven design.  ...  In particular, we discuss how we introduce formal methods via Eiffel's design-by-contract and agent technologies, and how we integrate these techniques with test-driven development, in an approach called  ...  Most have commented that they now think they have a better understanding of the principles of software engineering, object-oriented design, formal methods, and formal specification, which is in the end  ... 
doi:10.1007/978-3-540-30472-2_7 fatcat:j33knyxssvdnvbfafomayubi7q

Collaborative Software Architectingcollaborative software architecting Through Knowledge Sharing [chapter]

Peng Liang, Anton Jansen, Paris Avgeriou
2010 Collaborative Software Engineering  
In the field of software architecture, there has been a paradigm shift from describing the outcome of the architecting process to documenting architectural knowledge, such as design decisions and rationale  ...  Moreover, in a global, distributed setting, software architecting is essentially a collaborative process in which sharing and reusing architectural knowledge is a crucial and indispensible part.  ...  The authors would like to thank Astron for their support and access to the LOFAR software architecture documents.  ... 
doi:10.1007/978-3-642-10294-3_17 fatcat:6iqcr37klrdbhpmtnsstsyb4ym
« Previous Showing results 1 — 15 out of 149,499 results