default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInnovations in Systems and Software Engineering, Volume 7
Volume 7, Number 1, March 2011
- Francisco Supino Marcondes
, Ítalo Santiago Vega, Luiz Alberto Vieira Dias:
An approach for modeling a formal Use Case Type at early development phase without loosing abstraction. 1-8 - Jonathan Sprinkle, Brandon Eames:
Time-triggered buffers for event-based middleware systems. 9-22 - Norman F. Schneidewind:
Representativeness models of systems: smart grid example. 23-41 - Fernando Valles-Barajas:
A survey of UML applications in mechatronic systems. 43-51 - Angelina Espinoza, Juan Garbajosa:
A study to support agile methods more effectively through traceability. 53-69
Volume 7, Number 2, June 2011
- César A. Muñoz:
Preface: special issue on NASA Formal Methods Symposium 2010. 71-72 - Pritam Roy, Natarajan Shankar:
SimCheck: a contract type system for Simulink. 73-83 - Dominic Richards, David R. Lester:
A monadic approach to automated reasoning for Bluespec SystemVerilog. 85-95 - Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
A model advisor for NuSMV specifications. 97-107 - Concetta Pilotto, Jerome White:
Towards a verification framework for faulty message passing systems in PVS. 109-118 - Xiaowan Huang, Anu Singh, Scott A. Smolka:
Using integer clocks to verify clock-synchronization protocols. 119-130 - Sagar Chaki, Arie Gurfinkel:
Automated assume-guarantee reasoning for omega-regular systems and specifications. 131-139 - Yang Zhao, Gianfranco Ciardo:
Symbolic computation of strongly connected components and fair cycles using saturation. 141-150 - Sylvie Boldo, Thi Minh Tuyen Nguyen:
Proofs of numerical programs when the compiler optimizes. 151-160
Volume 7, Number 3, September 2011
- Paul A. Judas, Lorraine E. Prokop:
A historical compilation of software metrics with applicability to NASA's Orion spacecraft flight software sizing. 161-170 - Liming Zhao, Jane Huffman Hayes:
Rank-based refactoring decision support: two studies. 171-189 - Faheem Ahmed, Luiz Fernando Capretz:
An architecture process maturity model of software product line engineering. 191-207 - Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen:
Algebraic approach to linking the semantics of web services. 209-224
Volume 7, Number 4, December 2011
- Isabelle Perseil, J. Paul Gibson:
Introduction to special issue: papers from UML&FM'2011. 225-226 - Dominique Méry, Neeraj Kumar Singh:
A generic framework: from modeling to code. 227-235 - J. Paul Gibson, Jean-Luc Raffy, Eric Lallet:
Formal object-oriented development of a voting system test oracle. 237-245 - Jonathan Lasalle, Fabien Peureux, Frédéric Fondement:
Development of an automated MBT toolchain from UML/SysML models. 247-256 - Ileana Ober, Iulian Ober, Iulia Dragomir, El Arbi Aboussoror:
UML/SysML semantic tunings. 257-264 - Samir Chouali, Ahmed Hammad:
Formal verification of components assembly based on SysML and interface automata. 265-274 - Shoichiro Fujiwara, Kazuki Munakata, Yoshiharu Maeda, Asako Katayama, Tadahiro Uehara:
Test data generation for web application using a UML class diagram with OCL constraints. 275-282 - Andreas Bollin:
Coupling-based transformations of Z specifications into UML diagrams. 283-292 - Thiago C. de Sousa, Colin F. Snook, Paulo Sérgio Muniz Silva:
A proposal for extending UML-B to support a conceptual model. 293-301 - Jérémy Milhau, Akram Idani, Régine Laleau, Mohamed-Amine Labiadh, Yves Ledru, Marc Frappier:
Combining UML, ASTD and B for the formal specification of an access control filter. 303-313 - Daniel Calegari, Nora Szasz:
Institutionalising UML 2.0 state machines. 315-323 - Isabelle Perseil:
ALF formal. 325-326
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-12 23:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
