Clik here to view.
Interior Designer Tricks: What Is the Golden Ratio in Interior Design
Did it occur to you that many interior designers know what layout or furniture design can hit it on the nail and what elements can mean disaster to the aesthetics of your room? While some may have the...
View ArticleClik here to view.
What Is Balinese Interior Design
A tropical paradise situated on a magical island, people who have been to Bali, Indonesia, are enchanted by its lush greenery, rich heritage, and breathtaking landscapes. Bali is often referred to as...
View ArticleClik here to view.
What Is Zen Interior Design?
Zen is a philosophy that covers practically everything. It comes as no surprise when modern Zen interior design became a trend a few years back (and still is). What makes Zen tremendously popular...
View ArticleClik here to view.
Art Deco Interior Design Style Explained
Art Deco interior design is an ornate design style with art deco motifs popularised in the 1920s. The Art Deco design has a jewel-like, playful vibe that speaks glamour and elegance. This article...
View ArticleClik here to view.
Art Nouveau Interior Design and Style 2024
Sinuous lines, flowing curves, and whimsical elements define the Art Nouveau interior design. Considered as one of the more feminine schools of design, Art Nouveau gets much of its inspiration from...
View ArticleClik here to view.
What Is Biophilic Interior Design
Biophilic Interior Design 2024 Humans have adapted to their environment. This is the principle behind the Biophilic interior design. With its focus on getting people to be closer to nature through the...
View ArticleClik here to view.
What Is Classic Interior Design?
Classic Interior Design Style 2024 What makes the Classic interior design style so endearing and enduring? Perhaps it’s paying homage to classicism rooted in Vitruvian proportions as seen in classical...
View ArticleClik here to view.
What Is Industrial Minimalism?
Industrial Minimalist Design Ideas Ever wonder if you can mix two schools of designs into one cohesive and distinct design? The minimalist and industrial designs have been gaining traction among...
View ArticleClik here to view.
What Is Greek Chic Interior Design
Greek Interior Design and Decor Ideas Greece is undeniably one of the most beautiful islands in the world. Perhaps this is the reason why there is so much appeal to Greek-style interior homes. It’s a...
View ArticleClik here to view.
What Is Boho Interior Design
Boho Style Interior Design 2024 In recent years, you can see an upsurge in people using the Bohemian Style, from fashion down to interior design. What makes this design always on the top of most...
View ArticleMore sizzle than steak? Using an LLM to produce verified bug fixes (new...
New article: “Do AI models help produce verified bug fixes?” (Huang Li, Ilgiz Mustafin, Marco Piccioni, Alessandro Schena, Reto Weber and Bertrand Meyer), submitted for publication, preprint available...
View ArticleNew article: obituary of Niklaus Wirth
Bertrand Meyer: Obituary for Niklaus Wirth, in Formal Aspects of Computing, volume 37, issue 2, pages 1-11, published 3 March 2025, available here (publisher’s site). Shortly after Niklaus Wirth —...
View ArticleNew preprint: Lessons from Formally Deployed Software Systems
Li Huang, Sophie Ebersold, Alexander Kogtenkov, Bertrand Meyer and Yinling Liu, Lessons from Formally Verified Deployed Software Systems, submitted for publication (since March 2023), preprint...
View ArticleNew preprint: Seamless and Traceable Requirements
Maria Naumcheva, Sophie Ebersold, Jean-Michel Bruel and Bertrand Meyer, UOOR: Seamless and Traceable Requirements, submitted for publication, February 2025, preprint available on arXiv. This article...
View ArticleNew preprint: Loop unrolling — formal definition and application to testing
Li Huang, Bertrand Meyer and Reto Weber, New preprint: Loop unrolling: formal definition and application to testing, February 2025, submitted to publication. Available here on arXiv and also here....
View ArticleNew paper: seeding contradiction
Just published: Li Huang, Bertrand Meyer and Manuel Oriol, Seeding Contradiction: a fast method for generating full-coverage test suites, in Springer Nature Computer Science, vol. 6, no. 4, 2025. The...
View ArticleNew preprint: Programming Really Is Simple Mathematics
Bertrand Meyer and Reto Weber: Meaning as Programs — Programming Really Is Simple Mathematics, February 2025 preprint available here and also on arXiv. Theories of programming can be quite complicated;...
View ArticleNew preprint: Software engineering as a domain to formalize
Bertrand Meyer, Software engineering as a domain to formalize, available here. This article is meant as a blog but was written as a standard text and I haven’t had the time to HTML-ize yet. So I am...
View ArticleThe French School of Programming
July 14 (still here for 15 minutes) is not a bad opportunity to announced the publication of a new book: The French School of Programming. The book is a collection of chapters, thirteen of them, by...
View ArticleA remarkable group photo
On 13-15 September 1999 a symposium took place in St Catherine College in Oxford, in honor of Tony Hoare’s “retirement” from Oxford (the word is in quotes because he has had several further productive...
View Article
![[QLD, NSW, VIC] Samsung 65](http://files.ozbargain.com.au/n/31/978831l.jpg?h=8d64f0c6)
