Results 61 to 70 of about 177 (93)
Some of the next articles are maybe not open access.
Organization Science, 2014
This paper draws attention to a new dimension of organization, the semiformal organization, and it reveals how the allocation of different membership forms can render knowledge-intensive organizations more flexible and exploratory in their knowledge creation efforts without sacrificing the functions stably enacted via the formal organization.
Susan Biancani +2 more
openaire +1 more source
This paper draws attention to a new dimension of organization, the semiformal organization, and it reveals how the allocation of different membership forms can render knowledge-intensive organizations more flexible and exploratory in their knowledge creation efforts without sacrificing the functions stably enacted via the formal organization.
Susan Biancani +2 more
openaire +1 more source
Semiformal Verification of Software-Controlled Connections
2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2017The verification of both hardware and embedded software has become an important subject over the last years. However, neither standalone verification approaches like simulation-based or emulation nor state-of-the-art formal verification approaches are able to co-verify hardware/software modules in complex SoCs.
Tomás Grimm +2 more
openaire +2 more sources
Speed-Up Testing by Application of Semiformal Notations and Automation
2021Engineers in the automotive industry are facing more and more challenges as the complexity of their products increases and the number of product variants increases while the development time assigned for these activities decrease. Efficient methods and workflows are the key measures to cope with that contradicting boundary conditions.
Martin Ringdorfer, Gerhard Griessnig
openaire +1 more source
A semiformal correctness proof of a network broadcast algorithm
Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97), 2002In past years, a large number of published distributed algorithms have been shown to be incorrect. Unfortunately, designers of distributed algorithms typically use informal correctness proofs, which tend to be unreliable. Formal correctness proofs offer a much higher degree of reliability, but they are not popular among algorithm designers because they
Devendra Kumar, S. Sitharama Iyengar
openaire +1 more source
Semiformal Approach to the IT Security Development
2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07), 2007The paper concludes the author's works on the IT security development framework compliant with the common criteria standard. Two basic issues were solved to make this development easier and more effective: the entire development process was better formalized using the UML/OCL approach, and the set of specification means was extended (by defining ...
openaire +2 more sources
Reproducing failures based on semiformal failure scenario descriptions
Software Quality Journal, 2016Due to the increasing size and complexity of software systems, it becomes hard to test these systems exhaustively. As a result, some faults can be left undetected. Undetected faults can lead to failures in deployed systems. Such failures are usually reported by the users from the field or test engineers back to developers. It requires considerable time
Gün Karagöz, Hasan Sözer
openaire +2 more sources
PROPOSAL OF A SEMIFORMAL MODEL OF ANONYMOUS COMMUNICATION
International Journal of Foundations of Computer Science, 2009We present a semiformal model of anonymous communication with several participants performing several anonymous actions on several messages, e.g. in digital pseudosignatures. The goal is to design a model having enough expressive power to model simple as well as very complex anonymous communication patterns.Our model concentrates on anonymity of a ...
openaire +2 more sources
Ontology based semiformal design of teleteaching system
TENCON 2010 - 2010 IEEE Region 10 Conference, 2010Teleteaching has become a major tool to impart education, where it introduces a concept of geographical independence. In this paper we design an environment of a university where in all the activities can be done "online". We use ontology to design the environment by describing, structuring, defining the environment.
A Dutta +3 more
openaire +1 more source
Using hypertext for semiformal representation in requirements engineering practice
New Review of Hypermedia and Multimedia, 1996Abstract Requirements engineering is insufficiently supported in practice, especially the issue of appropriate formality of the requirements’ representation during their definition is yet unsolved. Since informal natural language has its disadvantages and immediate formal representation is very difficult, a mediating representation is needed. Therefore,
openaire +2 more sources
High-quality software through semiformal specification and verification
Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131), 1999Semi-formal specification and verification in the style of the cleanroom method, combined with testing, have proven to be exceptionally effective in reducing the number of defects in software, as well as being cost-effective in practice. A course based on these principles is described, and the results of class projects and projects by graduates of the ...
openaire +2 more sources