111 citations
- Centre National de la Recherche ScientifiqueFR21 papers
- University of BolognaIT21 papers
- A. Alikhanyan National LaboratoryAM20 papers
- AGH University of KrakowPL20 papers
- Arak UniversityIR20 papers
- Babeș-Bolyai UniversityRO20 papers
- Baylor UniversityUS20 papers
- Beihang UniversityCN20 papers
- Benemérita Universidad Autónoma de PueblaMX20 papers
- Boğaziçi UniversityTR20 papers
- Brandenburg University of Technology Cottbus-SenftenbergDE20 papers
- Brown UniversityUS20 papers
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2019
Landscape of IoT Patterns
Hironori Washizaki, Nobukazu Yoshioka, Atsuo Hazeyama +5
Patterns are encapsulations of problems and solutions under specific contexts. As the industry is realizing many successes (and failures) in IoT systems development and operations,…
cs.SE2018★ 7 cited
The Unit-B Method -- Refinement Guided by Progress Concerns
Simon Hudon, Thai Son Hoang, Jonathan S. Ostroff
We present Unit-B, a formal method inspired by Event-B and UNITY. Unit-B aims at the stepwise design of software systems satisfying safety and liveness properties. The method featu…