Experiencias Industriales con Programación Declarativa
•
0 likes•434 views
Building software imposes a set of general challenges, which are complemented by those specific to the business context. The use of declarative programming as key implementation technology provides several advantages in both areas, a fact that has not gone unnoticed by companies of all sizes and domains. In particular, the functional programming language Erlang is getting big momentum in the last years thanks to its built-in capabilities for high availability, robustness, maintainability. This presentation shows some practical examples and discusses the role that the implementation technology (Erlang) played in their successful outcome.
Report
Share
Report
Share
Download to read offline
Recommended
Functional programming goes to Hollywood... and around the world!
In a moment in which clearly declarative languages and functional programming use are on the increase in industry, this is a recap of the most recent success stories of the MADS (Models and Applications of Distributed Systems) research group, at the Department of Computer Science (University of A Coruña, Spain) in this area.
Failover and takeover contingency mechanisms for network partition and node f...
This document summarizes a presentation given at the 2012 Erlang Workshop on failover and takeover contingency mechanisms for network partitions and node failures. The presentation discusses the ADVERTISE distributed system for advertisement transmission, which experienced issues with frequent node failures and network partitions when initially deployed on virtual machines. To address this, the system was redesigned to require a minimum of 3 nodes and implement checks to detect node failures and partitions in order to avoid inconsistencies. The new design has been running successfully with no reported incidents for the past 4 months.
A Backpack to go the Extra-Functional Mile (a hitched hike by the PROWESS pro...
Property-based testing is an already known testing methodology for the Erlang community, with tools such as QuickCheck and PropEr being highly popular among Erlang developers in the last few years. However, they are commonly used for functional testing... Which are the challenges in using them for testing non-functional properties of software? What other tools or libraries are there to help Erlang developers?
Editing documents with LaTeX
The document discusses LaTeX and provides an introduction and overview. It explains that LaTeX is a document preparation system for producing high-quality documents. It describes the basic structure of LaTeX documents, including the preamble and body, and covers creating documents, formatting text, and editing elements like fonts, lists, tables, and figures. The document is intended as an introduction or primer on LaTeX and how it can be used to create different types of documents.
Erlang as a supporting technology for teaching Software Architecture
At university, it is usually the case that students are introduced to programming languages to the extent in which they serve a teaching purpose usually related to acquiring some paradigm-bounded programming skills. Thus, they (we) learn to code our first source lines using PASCAL, are introduced to C programming to handle memory and threads, enter the Java world hand-in-hand with UML and object-orientation. However, Erlang is seldom the choice for learning about the declarative paradigm, for which ML or Haskell are often preferred candidates.
Two years ago, the University of A Coruña (UDC) stepped out of this box and decided to use Erlang as supporting technology for teaching Software Architecture. In this subject, we go beyond programming and, in helping students build up a more abstract, system-wide design competence, we make them face the strengths and weaknesses of different architectures (client-server, multi-layered, repository, pipe & filter, master-slave, peer-to-peer) in terms of non-functional requirements (availability, flexibility, performance, security). In this setting, Erlang has worked as an excellent tool in order to quickly prototype and compare systems of different architectural nature, as we will illustrate in more detail during this talk.
Automatic generation of UML sequence diagrams from test counterexamples
The document summarizes a presentation given at the ACM SIGPLAN Erlang Workshop in 2016 about automatically generating UML sequence diagrams from QuickCheck test counterexamples in Erlang. It discusses the challenges of interpreting counterexamples to find bugs, presents an example of a failing phone exchange test case, and shows how the counterexample could be shrunk and represented as a UML sequence diagram. Future work ideas are also proposed, like handling components and state diagrams.
Making property-based testing easier to read for humans
Agile practices have taught us that both stakeholder involvement and early testing are key to quality software. However, it is usually the case that tools for good communication are not that good for testing, and vice-versa.
In this talk, readSpec (one of the results of the PF7 EU PROWESS project) is presented, a tool that attempts to fill in this gap.
Recommended
Functional programming goes to Hollywood... and around the world!
In a moment in which clearly declarative languages and functional programming use are on the increase in industry, this is a recap of the most recent success stories of the MADS (Models and Applications of Distributed Systems) research group, at the Department of Computer Science (University of A Coruña, Spain) in this area.
Failover and takeover contingency mechanisms for network partition and node f...
This document summarizes a presentation given at the 2012 Erlang Workshop on failover and takeover contingency mechanisms for network partitions and node failures. The presentation discusses the ADVERTISE distributed system for advertisement transmission, which experienced issues with frequent node failures and network partitions when initially deployed on virtual machines. To address this, the system was redesigned to require a minimum of 3 nodes and implement checks to detect node failures and partitions in order to avoid inconsistencies. The new design has been running successfully with no reported incidents for the past 4 months.
A Backpack to go the Extra-Functional Mile (a hitched hike by the PROWESS pro...
Property-based testing is an already known testing methodology for the Erlang community, with tools such as QuickCheck and PropEr being highly popular among Erlang developers in the last few years. However, they are commonly used for functional testing... Which are the challenges in using them for testing non-functional properties of software? What other tools or libraries are there to help Erlang developers?
Editing documents with LaTeX
The document discusses LaTeX and provides an introduction and overview. It explains that LaTeX is a document preparation system for producing high-quality documents. It describes the basic structure of LaTeX documents, including the preamble and body, and covers creating documents, formatting text, and editing elements like fonts, lists, tables, and figures. The document is intended as an introduction or primer on LaTeX and how it can be used to create different types of documents.
Erlang as a supporting technology for teaching Software Architecture
At university, it is usually the case that students are introduced to programming languages to the extent in which they serve a teaching purpose usually related to acquiring some paradigm-bounded programming skills. Thus, they (we) learn to code our first source lines using PASCAL, are introduced to C programming to handle memory and threads, enter the Java world hand-in-hand with UML and object-orientation. However, Erlang is seldom the choice for learning about the declarative paradigm, for which ML or Haskell are often preferred candidates.
Two years ago, the University of A Coruña (UDC) stepped out of this box and decided to use Erlang as supporting technology for teaching Software Architecture. In this subject, we go beyond programming and, in helping students build up a more abstract, system-wide design competence, we make them face the strengths and weaknesses of different architectures (client-server, multi-layered, repository, pipe & filter, master-slave, peer-to-peer) in terms of non-functional requirements (availability, flexibility, performance, security). In this setting, Erlang has worked as an excellent tool in order to quickly prototype and compare systems of different architectural nature, as we will illustrate in more detail during this talk.
Automatic generation of UML sequence diagrams from test counterexamples
The document summarizes a presentation given at the ACM SIGPLAN Erlang Workshop in 2016 about automatically generating UML sequence diagrams from QuickCheck test counterexamples in Erlang. It discusses the challenges of interpreting counterexamples to find bugs, presents an example of a failing phone exchange test case, and shows how the counterexample could be shrunk and represented as a UML sequence diagram. Future work ideas are also proposed, like handling components and state diagrams.
Making property-based testing easier to read for humans
Agile practices have taught us that both stakeholder involvement and early testing are key to quality software. However, it is usually the case that tools for good communication are not that good for testing, and vice-versa.
In this talk, readSpec (one of the results of the PF7 EU PROWESS project) is presented, a tool that attempts to fill in this gap.
Lieven Vermaele - SDNsquare - Flanders Belgium - Stanford Engineering - Mar ...
This document summarizes a presentation by Lieven Vermaele, CEO of SDNsquare, about the company's products and technology. SDNsquare has developed two products, WARP and GRID, that use software-defined networking (SDN) to provide guaranteed performance and predictable networking in data centers and storage networks. Both products use standard hardware but intelligent software to monitor traffic flows, select paths, and guarantee quality of service (QoS). This overcomes limitations of traditional overprovisioning and proprietary solutions. SDNsquare's technology goes beyond basic SDN by providing end-to-end QoS guarantees. The company focuses on mission critical industries and aims to license its technology and products to customers.
NUB3D - Company Presentation
NUB3D is a company that develops 3D white light scanning technology. They have over 15 years of experience and focus exclusively on white light scanning. They provide a complete range of 3D measurement solutions including their own SIDIO scanning technology, V-STARS coordinate measuring systems, and Polyworks metrology software. NUB3D aims to offer innovative, versatile solutions with local support to help customers with design, production, and quality control needs.
Daniela brauner
RNP is the Brazilian National Research and Education Network that serves over 800 campuses. To complement its network services and develop new applications and middleware, RNP began a Working Group program in 2002 to fund innovative projects proposed by research groups. This has resulted in many new services and products like a video translation service, wireless network controller, and digital preservation system. RNP also occasionally initiates working groups on specific topics. Examples of successful working groups include remote visualization applications and dynamic circuit provisioning. Similar working group programs have been adopted by RedCLARA, the regional Latin American network, focusing on topics like measurements and mobility. The working group model has enabled RNP to expand its offerings while strengthening ties to the research community.
Kahuna Systems : Product Engineering Services
Kahuna provides embedded software and integrated product engineering services. It focuses on areas like ubiquitous computing, embedded software, and product engineering. Kahuna has experience developing solutions for industries like industrial automation, smart grids, multimedia, automotive, consumer electronics, and mobile computing. It utilizes in-house technology frameworks and follows a product-centric services approach to provide value at each stage of product development.
DinakaraPandian_9+
This document contains the resume of DinakaraPandian.P. It summarizes his objective, experience, skills and qualifications. He has over 9 years of experience in the IT industry with expertise in automotive and home media infotainment systems. He is seeking a challenging role in the automotive/embedded industry where he can contribute to organizational success. He has extensive experience developing software for instrument clusters, infotainment systems and other automotive electronics.
Product Lines Can Jeopardize Their Trade Secrets
What do you give for free to your competitor when you ex-
hibit a product line? This paper addresses this question
through several cases in which the discovery of trade secrets
of a product line is possible and can lead to severe conse-
quences. That is, we show that an outsider can understand
the variability realization and gain either confidential busi-
ness information or even some economical direct advantage.
For instance, an attacker can identify hidden constraints and
bypass the product line to get access to features or copy-
righted data. This paper warns against possible naive mod-
eling, implementation, and testing of variability leading to
the existence of product lines that jeopardize their trade se-
crets. Our vision is that defensive methods and techniques
should be developed to protect specifically variability – or
at least further complicate the task of reverse engineering it.
Arkuda.CarPlay Solutions.presentation.2016
Share, stream and play media content irrespective of whether it’s stored in the car or at home, harmonizes the interaction of iOS and Android.
Profit from UPnP connectivity – between car, device, person and Cloud. The automotive user interface is where the interaction between people, machines and multimedia occurs.
SFScon 2020 - Alexander Sander - Public Money Public Code Global problems nee...
SFScon 2020 - Alexander Sander - Public Money Public Code Global problems nee...South Tyrol Free Software Conference
Global problems need global solutions!
In a time when humanity needs to work together to find solutions for a crisis, we cannot afford to reinvent the wheel again and again. Global problems need global solutions! It is Free Software that enables global cooperation for code development. Any proprietary solution will inevitably lead to countless isolated solutions and waste energy and time which we as humanity cannot afford in such a critical situation.
Free Software licences allow sharing of code in any jurisdiction. Solutions developed in one country can be reused and adapted in another one. International development agencies and humanitarian movements can help to contain the spread of COVID-19 in any country around the world with the availability of Free Software solutions.
Already before this crisis hundreds of organisations and tens of thousands of people demanded that publicly financed software developed for the public sector must be made publicly available under Free Software licences. It is now even more important than ever before to tackle this crisis.
Do you want to promote Free Software as well? Then the campaign framework of “Public Money? Public Code!” might be the right choice for you; no matter if you want to do it as an individual or as a group; no matter if you have a small or large time budget.nathan
Senthilnathan Dhamodharan is a senior software professional with 13 years of experience in application development, embedded systems, network management, and board support packages. He has expertise in areas such as FCAPS-based network management systems, kernel module programming, device driver development, software development processes, and project management. He is skilled in languages like C, C++, Java, and Python and has worked on projects for companies in defense, aerospace, telecommunications and other industries.
Software defined networking (sdn) deep dive 3rd-party ecosystem apps and the ...
Software defined networking (sdn) deep dive 3rd-party ecosystem apps and the ...Aruba, a Hewlett Packard Enterprise company
Get an in-depth review of HPE's SDN applications and how best to take advantage of them to simplify network operations, increase network security and improve end user experience.
HARISH_Resume_Embedded_SW
This document contains the resume of Harish Kumar Sampath Kumar. It summarizes his professional experience in embedded systems, audio software development and board bring up using C/C++, Linux and other tools. It lists his 7 years of experience in various roles at companies like Continental Automotive Systems, Motorola Solutions, Clarion and others. It also provides his educational qualifications and technical expertise.
Elevaor pitch o_xi_gen
This document discusses a proposed toolchain to generate an FPGA configuration bitstream directly from high-level language source code. It aims to eliminate the need for tool-specific expertise, making FPGA technology more accessible. The toolchain would use a compiler to produce an intermediate representation then target high-level synthesis tools to generate the bitstream. This approach could drive adoption of FPGAs by simplifying the design process. The document outlines the team and provides a roadmap for an initial prototype and future releases to support additional languages and tools.
IMA/Thales SceneGate Viewer for OpenSimulator Presentation at OSCC19
IMA/Thales SceneGate Viewer for OpenSimulator
Lisa Laxton, Natacha Bru, Frank Rulof, Seth Nygard
Presentation Abstract: This presentation from Infinite Metaverse Alliance® (IMA) and Thales Group discusses development of a new open source viewer for the OpenSimulator community focused on improvements in usability, accessibility, and interoperability. Development is driven by inclusive “design thinking” while adding capabilities for the future to address gaps in development aimed at the needs of new users and those with different abilities that may be digitally marginalized. The SceneGate Viewer project is one of several R&D projects integrated with decentralized OpenSimulator development supporting the mission to advance virtual worlds, virtual reality, and synthetic environments. The work of IMA and Thales is in general directed toward broadening use of the Metaverse for Public, Education, Industry and Government sectors but the community as a whole benefits from open source.
Target Audience & Outcomes: Participants from the OpenSimulator Community at large will learn about enhancements, features, and improvements IMA and Thales are working on together to deliver a new open source solution that meets the needs of a broader OpenSimulator community addressing issues related to onboarding, usability, accessibility, interoperability, performance, security, and standards.
@IMATalks
LUMIA APP LABS: GAMES DEVELOPMENT USING WINDOWS PHONE 8
Microsoft Windows Phone 8 offers native code support that enables development and porting of high-performance games. This training-lab webinar will give you an overview of Windows Phone 8 capabilities that support complex games development. It also will introduce available tools and frameworks that increase developer productivity and will demonstrate a hands-on approach to games development with the Windows Phone SDK 8. By leveraging frameworks such as the Microsoft Direct3D API and support for popular physics and rendering engines, you can now create games with native performance as well as use your own or third-party engines and middleware for games development for Windows Phone 8 users.
Jfrog artifactory artifact management c tamilmaran presentation - copy
JFrog Artifactory is an artifact management tool that allows users to store, manage, and distribute software artifacts. It supports all major package formats and integrates with various DevOps tools and technologies. JFrog Artifactory provides a single place to manage binaries for continuous integration and deployment pipelines. It offers features like access control, high availability, security analysis, and integration with tools like Jenkins, Docker, and Kubernetes.
Achieving Software Assurance with Hybrid Analysis Mapping
Denim Group presented on their Hybrid Analysis Mapping (HAM) technology. HAM merges the results from static and dynamic application security testing to provide a more comprehensive vulnerability assessment. It builds an attack surface model and links vulnerabilities identified through different tools to their source code location. This improves results triage, vulnerability remediation, and allows discovery of new issues not found through individual tools. Denim Group has incorporated HAM into their ThreadFix software assurance platform.
CURRICULUM VITAE
The document is a 22-page curriculum vitae for Mohamed Karoui. It provides details on his 10 years of experience in embedded systems development across various sectors including automotive, truck, railways, military, and medical. It lists his software and hardware skills, languages, and details several embedded software engineering roles he has held with ACTIA and its subsidiaries from 2008 to the present.
Create a Unified View of Your Application Security Program – Black Duck Hub a...
Effective application security programs rely on multiple sources for vulnerability data – from traditional static and dynamic testing, interactive testing, to manual and 3rd-party testing. Unfortunately, many organizations fail to consider the impact of open source software use and reuse on their security posture. This webinar will demonstrate how Black Duck Hub can identify security issues associated with open source usage and how ThreadFix’s correlation engine can provide a comprehensive view of an organization’s application security posture. In addition, the webinar demonstrates how ThreadFix’s HotSpot detection technology identifies security issues created by internally developed components – providing a complete of both open source and proprietary component usage.
Ankit sarin
- Ankit Sarin has over 7 years of experience in embedded firmware development, hardware design, and integration testing. He has worked on projects in various domains including industrial automation, SCADA, rail, oil and gas, and consumer products.
- His skills include embedded C/C++, assembly language, various protocols and interfaces. He has experience with development tools and environments on 8/16/32 bit platforms.
- His most recent role is as a senior software engineer at Larsen & Toubro where he works on firmware development for solar inverters and railway products. Previously he has worked on projects for Invensys, Cognizant, and Philips.
SivaBorra
Siva Borra has over 9 years of experience in embedded software development using C/C++. He has expertise in areas such as Android, Linux kernel, real-time operating systems, device drivers, and software debugging tools. His professional experience includes projects involving platform porting, maintenance work, and software engineering roles at companies such as Spanidea Systems, STEricsson, and SonyMobile. He has a Master's degree in Computer Science and Engineering from IIT Madras.
Ola, ChatGPT... que carreira sería boa para min?
Cumprimos case un ano da popularización das intelixencias artificiais xeneradoras en xeral, e ChatGPT en particular.
Nesta presentación exploramos os nesgos poden apresentarse nas respostas producidas por estes sistemas, a fin de visibilizar, divulgar e sensibilizar ao respecto.
IAs xerativas e nesgos de xénero
Introdución histórica e de alto nivel á evolución da IA, e a popularidade actual das IAs xerativas ou xeradoras de contido, e presentación dun caso de estudo sobre os nesgos de xénero en ChatGPT.
More Related Content
Similar to Experiencias Industriales con Programación Declarativa
Lieven Vermaele - SDNsquare - Flanders Belgium - Stanford Engineering - Mar ...
This document summarizes a presentation by Lieven Vermaele, CEO of SDNsquare, about the company's products and technology. SDNsquare has developed two products, WARP and GRID, that use software-defined networking (SDN) to provide guaranteed performance and predictable networking in data centers and storage networks. Both products use standard hardware but intelligent software to monitor traffic flows, select paths, and guarantee quality of service (QoS). This overcomes limitations of traditional overprovisioning and proprietary solutions. SDNsquare's technology goes beyond basic SDN by providing end-to-end QoS guarantees. The company focuses on mission critical industries and aims to license its technology and products to customers.
NUB3D - Company Presentation
NUB3D is a company that develops 3D white light scanning technology. They have over 15 years of experience and focus exclusively on white light scanning. They provide a complete range of 3D measurement solutions including their own SIDIO scanning technology, V-STARS coordinate measuring systems, and Polyworks metrology software. NUB3D aims to offer innovative, versatile solutions with local support to help customers with design, production, and quality control needs.
Daniela brauner
RNP is the Brazilian National Research and Education Network that serves over 800 campuses. To complement its network services and develop new applications and middleware, RNP began a Working Group program in 2002 to fund innovative projects proposed by research groups. This has resulted in many new services and products like a video translation service, wireless network controller, and digital preservation system. RNP also occasionally initiates working groups on specific topics. Examples of successful working groups include remote visualization applications and dynamic circuit provisioning. Similar working group programs have been adopted by RedCLARA, the regional Latin American network, focusing on topics like measurements and mobility. The working group model has enabled RNP to expand its offerings while strengthening ties to the research community.
Kahuna Systems : Product Engineering Services
Kahuna provides embedded software and integrated product engineering services. It focuses on areas like ubiquitous computing, embedded software, and product engineering. Kahuna has experience developing solutions for industries like industrial automation, smart grids, multimedia, automotive, consumer electronics, and mobile computing. It utilizes in-house technology frameworks and follows a product-centric services approach to provide value at each stage of product development.
DinakaraPandian_9+
This document contains the resume of DinakaraPandian.P. It summarizes his objective, experience, skills and qualifications. He has over 9 years of experience in the IT industry with expertise in automotive and home media infotainment systems. He is seeking a challenging role in the automotive/embedded industry where he can contribute to organizational success. He has extensive experience developing software for instrument clusters, infotainment systems and other automotive electronics.
Product Lines Can Jeopardize Their Trade Secrets
What do you give for free to your competitor when you ex-
hibit a product line? This paper addresses this question
through several cases in which the discovery of trade secrets
of a product line is possible and can lead to severe conse-
quences. That is, we show that an outsider can understand
the variability realization and gain either confidential busi-
ness information or even some economical direct advantage.
For instance, an attacker can identify hidden constraints and
bypass the product line to get access to features or copy-
righted data. This paper warns against possible naive mod-
eling, implementation, and testing of variability leading to
the existence of product lines that jeopardize their trade se-
crets. Our vision is that defensive methods and techniques
should be developed to protect specifically variability – or
at least further complicate the task of reverse engineering it.
Arkuda.CarPlay Solutions.presentation.2016
Share, stream and play media content irrespective of whether it’s stored in the car or at home, harmonizes the interaction of iOS and Android.
Profit from UPnP connectivity – between car, device, person and Cloud. The automotive user interface is where the interaction between people, machines and multimedia occurs.
SFScon 2020 - Alexander Sander - Public Money Public Code Global problems nee...
SFScon 2020 - Alexander Sander - Public Money Public Code Global problems nee...South Tyrol Free Software Conference
Global problems need global solutions!
In a time when humanity needs to work together to find solutions for a crisis, we cannot afford to reinvent the wheel again and again. Global problems need global solutions! It is Free Software that enables global cooperation for code development. Any proprietary solution will inevitably lead to countless isolated solutions and waste energy and time which we as humanity cannot afford in such a critical situation.
Free Software licences allow sharing of code in any jurisdiction. Solutions developed in one country can be reused and adapted in another one. International development agencies and humanitarian movements can help to contain the spread of COVID-19 in any country around the world with the availability of Free Software solutions.
Already before this crisis hundreds of organisations and tens of thousands of people demanded that publicly financed software developed for the public sector must be made publicly available under Free Software licences. It is now even more important than ever before to tackle this crisis.
Do you want to promote Free Software as well? Then the campaign framework of “Public Money? Public Code!” might be the right choice for you; no matter if you want to do it as an individual or as a group; no matter if you have a small or large time budget.nathan
Senthilnathan Dhamodharan is a senior software professional with 13 years of experience in application development, embedded systems, network management, and board support packages. He has expertise in areas such as FCAPS-based network management systems, kernel module programming, device driver development, software development processes, and project management. He is skilled in languages like C, C++, Java, and Python and has worked on projects for companies in defense, aerospace, telecommunications and other industries.
Software defined networking (sdn) deep dive 3rd-party ecosystem apps and the ...
Software defined networking (sdn) deep dive 3rd-party ecosystem apps and the ...Aruba, a Hewlett Packard Enterprise company
Get an in-depth review of HPE's SDN applications and how best to take advantage of them to simplify network operations, increase network security and improve end user experience.
HARISH_Resume_Embedded_SW
This document contains the resume of Harish Kumar Sampath Kumar. It summarizes his professional experience in embedded systems, audio software development and board bring up using C/C++, Linux and other tools. It lists his 7 years of experience in various roles at companies like Continental Automotive Systems, Motorola Solutions, Clarion and others. It also provides his educational qualifications and technical expertise.
Elevaor pitch o_xi_gen
This document discusses a proposed toolchain to generate an FPGA configuration bitstream directly from high-level language source code. It aims to eliminate the need for tool-specific expertise, making FPGA technology more accessible. The toolchain would use a compiler to produce an intermediate representation then target high-level synthesis tools to generate the bitstream. This approach could drive adoption of FPGAs by simplifying the design process. The document outlines the team and provides a roadmap for an initial prototype and future releases to support additional languages and tools.
IMA/Thales SceneGate Viewer for OpenSimulator Presentation at OSCC19
IMA/Thales SceneGate Viewer for OpenSimulator
Lisa Laxton, Natacha Bru, Frank Rulof, Seth Nygard
Presentation Abstract: This presentation from Infinite Metaverse Alliance® (IMA) and Thales Group discusses development of a new open source viewer for the OpenSimulator community focused on improvements in usability, accessibility, and interoperability. Development is driven by inclusive “design thinking” while adding capabilities for the future to address gaps in development aimed at the needs of new users and those with different abilities that may be digitally marginalized. The SceneGate Viewer project is one of several R&D projects integrated with decentralized OpenSimulator development supporting the mission to advance virtual worlds, virtual reality, and synthetic environments. The work of IMA and Thales is in general directed toward broadening use of the Metaverse for Public, Education, Industry and Government sectors but the community as a whole benefits from open source.
Target Audience & Outcomes: Participants from the OpenSimulator Community at large will learn about enhancements, features, and improvements IMA and Thales are working on together to deliver a new open source solution that meets the needs of a broader OpenSimulator community addressing issues related to onboarding, usability, accessibility, interoperability, performance, security, and standards.
@IMATalks
LUMIA APP LABS: GAMES DEVELOPMENT USING WINDOWS PHONE 8
Microsoft Windows Phone 8 offers native code support that enables development and porting of high-performance games. This training-lab webinar will give you an overview of Windows Phone 8 capabilities that support complex games development. It also will introduce available tools and frameworks that increase developer productivity and will demonstrate a hands-on approach to games development with the Windows Phone SDK 8. By leveraging frameworks such as the Microsoft Direct3D API and support for popular physics and rendering engines, you can now create games with native performance as well as use your own or third-party engines and middleware for games development for Windows Phone 8 users.
Jfrog artifactory artifact management c tamilmaran presentation - copy
JFrog Artifactory is an artifact management tool that allows users to store, manage, and distribute software artifacts. It supports all major package formats and integrates with various DevOps tools and technologies. JFrog Artifactory provides a single place to manage binaries for continuous integration and deployment pipelines. It offers features like access control, high availability, security analysis, and integration with tools like Jenkins, Docker, and Kubernetes.
Achieving Software Assurance with Hybrid Analysis Mapping
Denim Group presented on their Hybrid Analysis Mapping (HAM) technology. HAM merges the results from static and dynamic application security testing to provide a more comprehensive vulnerability assessment. It builds an attack surface model and links vulnerabilities identified through different tools to their source code location. This improves results triage, vulnerability remediation, and allows discovery of new issues not found through individual tools. Denim Group has incorporated HAM into their ThreadFix software assurance platform.
CURRICULUM VITAE
The document is a 22-page curriculum vitae for Mohamed Karoui. It provides details on his 10 years of experience in embedded systems development across various sectors including automotive, truck, railways, military, and medical. It lists his software and hardware skills, languages, and details several embedded software engineering roles he has held with ACTIA and its subsidiaries from 2008 to the present.
Create a Unified View of Your Application Security Program – Black Duck Hub a...
Effective application security programs rely on multiple sources for vulnerability data – from traditional static and dynamic testing, interactive testing, to manual and 3rd-party testing. Unfortunately, many organizations fail to consider the impact of open source software use and reuse on their security posture. This webinar will demonstrate how Black Duck Hub can identify security issues associated with open source usage and how ThreadFix’s correlation engine can provide a comprehensive view of an organization’s application security posture. In addition, the webinar demonstrates how ThreadFix’s HotSpot detection technology identifies security issues created by internally developed components – providing a complete of both open source and proprietary component usage.
Ankit sarin
- Ankit Sarin has over 7 years of experience in embedded firmware development, hardware design, and integration testing. He has worked on projects in various domains including industrial automation, SCADA, rail, oil and gas, and consumer products.
- His skills include embedded C/C++, assembly language, various protocols and interfaces. He has experience with development tools and environments on 8/16/32 bit platforms.
- His most recent role is as a senior software engineer at Larsen & Toubro where he works on firmware development for solar inverters and railway products. Previously he has worked on projects for Invensys, Cognizant, and Philips.
SivaBorra
Siva Borra has over 9 years of experience in embedded software development using C/C++. He has expertise in areas such as Android, Linux kernel, real-time operating systems, device drivers, and software debugging tools. His professional experience includes projects involving platform porting, maintenance work, and software engineering roles at companies such as Spanidea Systems, STEricsson, and SonyMobile. He has a Master's degree in Computer Science and Engineering from IIT Madras.
Similar to Experiencias Industriales con Programación Declarativa (20)
Lieven Vermaele - SDNsquare - Flanders Belgium - Stanford Engineering - Mar ...
Lieven Vermaele - SDNsquare - Flanders Belgium - Stanford Engineering - Mar ...
SFScon 2020 - Alexander Sander - Public Money Public Code Global problems nee...
SFScon 2020 - Alexander Sander - Public Money Public Code Global problems nee...
Software defined networking (sdn) deep dive 3rd-party ecosystem apps and the ...
Software defined networking (sdn) deep dive 3rd-party ecosystem apps and the ...
IMA/Thales SceneGate Viewer for OpenSimulator Presentation at OSCC19
IMA/Thales SceneGate Viewer for OpenSimulator Presentation at OSCC19
LUMIA APP LABS: GAMES DEVELOPMENT USING WINDOWS PHONE 8
LUMIA APP LABS: GAMES DEVELOPMENT USING WINDOWS PHONE 8
Jfrog artifactory artifact management c tamilmaran presentation - copy
Jfrog artifactory artifact management c tamilmaran presentation - copy
Achieving Software Assurance with Hybrid Analysis Mapping
Achieving Software Assurance with Hybrid Analysis Mapping
Create a Unified View of Your Application Security Program – Black Duck Hub a...
Create a Unified View of Your Application Security Program – Black Duck Hub a...
More from Laura M. Castro
Ola, ChatGPT... que carreira sería boa para min?
Cumprimos case un ano da popularización das intelixencias artificiais xeneradoras en xeral, e ChatGPT en particular.
Nesta presentación exploramos os nesgos poden apresentarse nas respostas producidas por estes sistemas, a fin de visibilizar, divulgar e sensibilizar ao respecto.
IAs xerativas e nesgos de xénero
Introdución histórica e de alto nivel á evolución da IA, e a popularidade actual das IAs xerativas ou xeradoras de contido, e presentación dun caso de estudo sobre os nesgos de xénero en ChatGPT.
As intelixencias artificiais como xeradoras de cultura: exploración dos nesgo...
As intelixencias artificiais xeneradoras están xa producindo textos que pasan a formar parte do noso mundo. A lingua (escrita, neste caso) é un piar fundamental da cutura, polo que cabe preguntarnos que tipo de "axentes creadores de cultura" son estes sistemas.
Para visibilizar esta cuestión, preséntase un experimento que ten como protagonista ChatGPT e como contexto, as mulleres (novas) en STEM.
David vs. Goliat: lecciones aprendidas de una experiencia fallida de adopción...
Cryptpad (https://cryptpad.org) es una alternativa a plataformas privativas de almacenamiento y edición colaborativa en la nube de documentos.
En 2022, en una pequeña asociación cultural gallega (Semente Corunha) decidimos adoptar Cryptpad como herramienta. Lamentablemente, meses después tuvimos que reconocer nuestro fracaso.
Esta charla pretende ilustrar las razones que condujeron al desenlace, desde un punto de vista constructivo, que pueda servir de inspiración y aprendizaje para la comunidad.
Why on Earth would I test if I have to just "Let it crash"?
Property-based testing in the land of the BEAM, or an all-in introduction to PBT for Elixir programmers.
How the BEAM will change your mind
We all have heard that functional programming requires a change of mind. But... do we really know what does mean? How does it go beyond learning about pattern-matching, tail recursion, gen_server and supervisors? How does it reflect in the way we approach problems and design solutions? We will address these and other questions, and discuss to which extent our BEAM hammer can turn everything into a lightweight, concurrent nail.
Elixir vs Java
Elixir é unha desas linguaxes que soan moito nos últimos tempos, un dos 'new cool kids on the block'. Nesta charla, vemos unha introdución a Elixir desde a perspectiva de quen está familiarizada/o co mundo Java: teñen algo en común? cales son as diferenzas? Quen sabe... se tes demasiada cafeína no teu sistema, quizais te animes a probar esta nova brebaxe!
So I used Erlang... is my system as scalable as they say it'd be?
The document discusses property-based testing of Erlang programs for scalability. It explains that Erlang is well-suited for building scalable systems due to its lightweight process model and support for distribution. The author implemented an echo server in Erlang and tested it using property-based testing with PropEr, generating over a million random test cases. Testing showed the echo server could handle the large number of tests within an hour on a standard laptop. Similar tests were conducted on supervised and distributed versions of the echo server. The testing demonstrated that property-based testing is an effective way to empirically validate the scalability of Erlang applications.
Elixir: the not-so-hidden path to Erlang
This is a short introduction to one of the newest and noisiest additions to the functional family. Chances are you have heard about Elixir before: created six years ago by José Valim, it has emerged rapidly in the Erlang ecosystem, attracting lots of attention. But what's so special about it? What's all the fuzz about? This talk will offer you a few selected sips for you to get a taste... but beware! You may want to drink all the bottle: if so, you may end up following the white rabbit down the hole and wake up in the Erlang wonderland.
Introdución á edición de textos con LaTeX
Xornadas Técnicas de Software Libre
Oficina de Software Libre, Universidade da Coruña. 2011.
Edición de textos con LaTeX
Plano de Apoio a Novos Investigadores.
CUFIE, Universidade da Coruña. 2013.
Improving software development using Erlang/OTP
The document discusses a case study of improving software development using Erlang/OTP. It includes an introduction, case study details, methodology sections on requirements analysis and design, paradigm implementation, and testing. The case study involves developing a complex insurance management application. The methodology incorporates object-oriented analysis with a declarative paradigm in Erlang. Testing focuses on unit testing data types using property-based testing with QuickCheck.
Testing database applications with QuickCheck
This document provides an overview of using QuickCheck to test business rules in database applications. It defines database applications as software that makes intensive use of data and relies on external storage for persistence. Business rules impose complex constraints on the data and their enforcement is critical to correct application operation. However, business rules are not confined to a specific component and are thus difficult to test with traditional unit or integration testing. The document proposes using QuickCheck, a random testing tool, to generate test cases and sequences to verify an application complies with business rules imposed on data at all times during system-level testing. It outlines representing the application interface, logic and storage access as a QuickCheck state machine to facilitate automated testing of business rules.
Gestión de pruebas en desarrollo software
El documento habla sobre la gestión de pruebas en el desarrollo de software. Explica que todas las piezas de software necesitan pruebas para identificar errores. Detalla diferentes tipos de pruebas como pruebas de unidad, integración y aceptación. También cubre técnicas de prueba como pruebas funcionales, estructurales y no funcionales. El documento enfatiza la importancia de basar las pruebas en una especificación clara y de monitorear métricas como errores encontrados y cobertura de código.
More from Laura M. Castro (14)
As intelixencias artificiais como xeradoras de cultura: exploración dos nesgo...
As intelixencias artificiais como xeradoras de cultura: exploración dos nesgo...
David vs. Goliat: lecciones aprendidas de una experiencia fallida de adopción...
David vs. Goliat: lecciones aprendidas de una experiencia fallida de adopción...
Why on Earth would I test if I have to just "Let it crash"?
Why on Earth would I test if I have to just "Let it crash"?
So I used Erlang... is my system as scalable as they say it'd be?
So I used Erlang... is my system as scalable as they say it'd be?
Recently uploaded
AppSec PNW: Android and iOS Application Security with MobSF
Mobile Security Framework - MobSF is a free and open source automated mobile application security testing environment designed to help security engineers, researchers, developers, and penetration testers to identify security vulnerabilities, malicious behaviours and privacy concerns in mobile applications using static and dynamic analysis. It supports all the popular mobile application binaries and source code formats built for Android and iOS devices. In addition to automated security assessment, it also offers an interactive testing environment to build and execute scenario based test/fuzz cases against the application.
This talk covers:
Using MobSF for static analysis of mobile applications.
Interactive dynamic security assessment of Android and iOS applications.
Solving Mobile app CTF challenges.
Reverse engineering and runtime analysis of Mobile malware.
How to shift left and integrate MobSF/mobsfscan SAST and DAST in your build pipeline.
Connector Corner: Seamlessly power UiPath Apps, GenAI with prebuilt connectors
Join us to learn how UiPath Apps can directly and easily interact with prebuilt connectors via Integration Service--including Salesforce, ServiceNow, Open GenAI, and more.
The best part is you can achieve this without building a custom workflow! Say goodbye to the hassle of using separate automations to call APIs. By seamlessly integrating within App Studio, you can now easily streamline your workflow, while gaining direct access to our Connector Catalog of popular applications.
We’ll discuss and demo the benefits of UiPath Apps and connectors including:
Creating a compelling user experience for any software, without the limitations of APIs.
Accelerating the app creation process, saving time and effort
Enjoying high-performance CRUD (create, read, update, delete) operations, for
seamless data management.
Speakers:
Russell Alfeche, Technology Leader, RPA at qBotic and UiPath MVP
Charlie Greenberg, host
Introduction of Cybersecurity with OSS at Code Europe 2024
I develop the Ruby programming language, RubyGems, and Bundler, which are package managers for Ruby. Today, I will introduce how to enhance the security of your application using open-source software (OSS) examples from Ruby and RubyGems.
The first topic is CVE (Common Vulnerabilities and Exposures). I have published CVEs many times. But what exactly is a CVE? I'll provide a basic understanding of CVEs and explain how to detect and handle vulnerabilities in OSS.
Next, let's discuss package managers. Package managers play a critical role in the OSS ecosystem. I'll explain how to manage library dependencies in your application.
I'll share insights into how the Ruby and RubyGems core team works to keep our ecosystem safe. By the end of this talk, you'll have a better understanding of how to safeguard your code.
HCL Notes und Domino Lizenzkostenreduzierung in der Welt von DLAU
Webinar Recording: https://www.panagenda.com/webinars/hcl-notes-und-domino-lizenzkostenreduzierung-in-der-welt-von-dlau/
DLAU und die Lizenzen nach dem CCB- und CCX-Modell sind für viele in der HCL-Community seit letztem Jahr ein heißes Thema. Als Notes- oder Domino-Kunde haben Sie vielleicht mit unerwartet hohen Benutzerzahlen und Lizenzgebühren zu kämpfen. Sie fragen sich vielleicht, wie diese neue Art der Lizenzierung funktioniert und welchen Nutzen sie Ihnen bringt. Vor allem wollen Sie sicherlich Ihr Budget einhalten und Kosten sparen, wo immer möglich. Das verstehen wir und wir möchten Ihnen dabei helfen!
Wir erklären Ihnen, wie Sie häufige Konfigurationsprobleme lösen können, die dazu führen können, dass mehr Benutzer gezählt werden als nötig, und wie Sie überflüssige oder ungenutzte Konten identifizieren und entfernen können, um Geld zu sparen. Es gibt auch einige Ansätze, die zu unnötigen Ausgaben führen können, z. B. wenn ein Personendokument anstelle eines Mail-Ins für geteilte Mailboxen verwendet wird. Wir zeigen Ihnen solche Fälle und deren Lösungen. Und natürlich erklären wir Ihnen das neue Lizenzmodell.
Nehmen Sie an diesem Webinar teil, bei dem HCL-Ambassador Marc Thomas und Gastredner Franz Walder Ihnen diese neue Welt näherbringen. Es vermittelt Ihnen die Tools und das Know-how, um den Überblick zu bewahren. Sie werden in der Lage sein, Ihre Kosten durch eine optimierte Domino-Konfiguration zu reduzieren und auch in Zukunft gering zu halten.
Diese Themen werden behandelt
- Reduzierung der Lizenzkosten durch Auffinden und Beheben von Fehlkonfigurationen und überflüssigen Konten
- Wie funktionieren CCB- und CCX-Lizenzen wirklich?
- Verstehen des DLAU-Tools und wie man es am besten nutzt
- Tipps für häufige Problembereiche, wie z. B. Team-Postfächer, Funktions-/Testbenutzer usw.
- Praxisbeispiele und Best Practices zum sofortigen Umsetzen
JavaLand 2024: Application Development Green Masterplan
My presentation slides I used at JavaLand 2024
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
A Mix Chart displays historical data of numbers in a graphical or tabular form. The Kalyan Rajdhani Mix Chart specifically shows the results of a sequence of numbers over different periods.
Dandelion Hashtable: beyond billion requests per second on a commodity server
This slide deck presents DLHT, a concurrent in-memory hashtable. Despite efforts to optimize hashtables, that go as far as sacrificing core functionality, state-of-the-art designs still incur multiple memory accesses per request and block request processing in three cases. First, most hashtables block while waiting for data to be retrieved from memory. Second, open-addressing designs, which represent the current state-of-the-art, either cannot free index slots on deletes or must block all requests to do so. Third, index resizes block every request until all objects are copied to the new index. Defying folklore wisdom, DLHT forgoes open-addressing and adopts a fully-featured and memory-aware closed-addressing design based on bounded cache-line-chaining. This design offers lock-free index operations and deletes that free slots instantly, (2) completes most requests with a single memory access, (3) utilizes software prefetching to hide memory latencies, and (4) employs a novel non-blocking and parallel resizing. In a commodity server and a memory-resident workload, DLHT surpasses 1.6B requests per second and provides 3.5x (12x) the throughput of the state-of-the-art closed-addressing (open-addressing) resizable hashtable on Gets (Deletes).
Leveraging the Graph for Clinical Trials and Standards
Katja Glaß
OpenStudyBuilder Community Manager - Katja Glaß Consulting
Marius Conjeaud
Principal Consultant - Neo4j
Astute Business Solutions | Oracle Cloud Partner |
Your goto partner for Oracle Cloud, PeopleSoft, E-Business Suite, and Ellucian Banner. We are a firm specialized in managed services and consulting.
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
Tomaz Bratanic
Graph ML and GenAI Expert - Neo4j
“Temporal Event Neural Networks: A More Efficient Alternative to the Transfor...
“Temporal Event Neural Networks: A More Efficient Alternative to the Transfor...Edge AI and Vision Alliance
For the full video of this presentation, please visit: https://www.edge-ai-vision.com/2024/06/temporal-event-neural-networks-a-more-efficient-alternative-to-the-transformer-a-presentation-from-brainchip/
Chris Jones, Director of Product Management at BrainChip , presents the “Temporal Event Neural Networks: A More Efficient Alternative to the Transformer” tutorial at the May 2024 Embedded Vision Summit.
The expansion of AI services necessitates enhanced computational capabilities on edge devices. Temporal Event Neural Networks (TENNs), developed by BrainChip, represent a novel and highly efficient state-space network. TENNs demonstrate exceptional proficiency in handling multi-dimensional streaming data, facilitating advancements in object detection, action recognition, speech enhancement and language model/sequence generation. Through the utilization of polynomial-based continuous convolutions, TENNs streamline models, expedite training processes and significantly diminish memory requirements, achieving notable reductions of up to 50x in parameters and 5,000x in energy consumption compared to prevailing methodologies like transformers.
Integration with BrainChip’s Akida neuromorphic hardware IP further enhances TENNs’ capabilities, enabling the realization of highly capable, portable and passively cooled edge devices. This presentation delves into the technical innovations underlying TENNs, presents real-world benchmarks, and elucidates how this cutting-edge approach is positioned to revolutionize edge AI across diverse applications.Skybuffer SAM4U tool for SAP license adoption
Manage and optimize your license adoption and consumption with SAM4U, an SAP free customer software asset management tool.
SAM4U, an SAP complimentary software asset management tool for customers, delivers a detailed and well-structured overview of license inventory and usage with a user-friendly interface. We offer a hosted, cost-effective, and performance-optimized SAM4U setup in the Skybuffer Cloud environment. You retain ownership of the system and data, while we manage the ABAP 7.58 infrastructure, ensuring fixed Total Cost of Ownership (TCO) and exceptional services through the SAP Fiori interface.
Columbus Data & Analytics Wednesdays - June 2024
Columbus Data & Analytics Wednesdays, June 2024 with Maria Copot 20
Biomedical Knowledge Graphs for Data Scientists and Bioinformaticians
Dmitrii Kamaev, PhD
Senior Product Owner - QIAGEN
5th LF Energy Power Grid Model Meet-up Slides
5th Power Grid Model Meet-up
It is with great pleasure that we extend to you an invitation to the 5th Power Grid Model Meet-up, scheduled for 6th June 2024. This event will adopt a hybrid format, allowing participants to join us either through an online Mircosoft Teams session or in person at TU/e located at Den Dolech 2, Eindhoven, Netherlands. The meet-up will be hosted by Eindhoven University of Technology (TU/e), a research university specializing in engineering science & technology.
Power Grid Model
The global energy transition is placing new and unprecedented demands on Distribution System Operators (DSOs). Alongside upgrades to grid capacity, processes such as digitization, capacity optimization, and congestion management are becoming vital for delivering reliable services.
Power Grid Model is an open source project from Linux Foundation Energy and provides a calculation engine that is increasingly essential for DSOs. It offers a standards-based foundation enabling real-time power systems analysis, simulations of electrical power grids, and sophisticated what-if analysis. In addition, it enables in-depth studies and analysis of the electrical power grid’s behavior and performance. This comprehensive model incorporates essential factors such as power generation capacity, electrical losses, voltage levels, power flows, and system stability.
Power Grid Model is currently being applied in a wide variety of use cases, including grid planning, expansion, reliability, and congestion studies. It can also help in analyzing the impact of renewable energy integration, assessing the effects of disturbances or faults, and developing strategies for grid control and optimization.
What to expect
For the upcoming meetup we are organizing, we have an exciting lineup of activities planned:
-Insightful presentations covering two practical applications of the Power Grid Model.
-An update on the latest advancements in Power Grid -Model technology during the first and second quarters of 2024.
-An interactive brainstorming session to discuss and propose new feature requests.
-An opportunity to connect with fellow Power Grid Model enthusiasts and users.
[OReilly Superstream] Occupy the Space: A grassroots guide to engineering (an...
The typical problem in product engineering is not bad strategy, so much as “no strategy”. This leads to confusion, lack of motivation, and incoherent action. The next time you look for a strategy and find an empty space, instead of waiting for it to be filled, I will show you how to fill it in yourself. If you’re wrong, it forces a correction. If you’re right, it helps create focus. I’ll share how I’ve approached this in the past, both what works and lessons for what didn’t work so well.
Crafting Excellence: A Comprehensive Guide to iOS Mobile App Development Serv...
Crafting Excellence: A Comprehensive Guide to iOS Mobile App Development Serv...Pitangent Analytics & Technology Solutions Pvt. Ltd
Discover top-tier mobile app development services, offering innovative solutions for iOS and Android. Enhance your business with custom, user-friendly mobile applications."Frontline Battles with DDoS: Best practices and Lessons Learned", Igor Ivaniuk
At this talk we will discuss DDoS protection tools and best practices, discuss network architectures and what AWS has to offer. Also, we will look into one of the largest DDoS attacks on Ukrainian infrastructure that happened in February 2022. We'll see, what techniques helped to keep the web resources available for Ukrainians and how AWS improved DDoS protection for all customers based on Ukraine experience
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
Freshworks creates AI-boosted business software that helps employees work more efficiently and effectively. Managing data across multiple RDBMS and NoSQL databases was already a challenge at their current scale. To prepare for 10X growth, they knew it was time to rethink their database strategy. Learn how they architected a solution that would simplify scaling while keeping costs under control.
Recently uploaded (20)
AppSec PNW: Android and iOS Application Security with MobSF
AppSec PNW: Android and iOS Application Security with MobSF
Connector Corner: Seamlessly power UiPath Apps, GenAI with prebuilt connectors
Connector Corner: Seamlessly power UiPath Apps, GenAI with prebuilt connectors
Introduction of Cybersecurity with OSS at Code Europe 2024
Introduction of Cybersecurity with OSS at Code Europe 2024
HCL Notes und Domino Lizenzkostenreduzierung in der Welt von DLAU
HCL Notes und Domino Lizenzkostenreduzierung in der Welt von DLAU
JavaLand 2024: Application Development Green Masterplan
JavaLand 2024: Application Development Green Masterplan
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
Dandelion Hashtable: beyond billion requests per second on a commodity server
Dandelion Hashtable: beyond billion requests per second on a commodity server
Leveraging the Graph for Clinical Trials and Standards
Leveraging the Graph for Clinical Trials and Standards
Astute Business Solutions | Oracle Cloud Partner |
Astute Business Solutions | Oracle Cloud Partner |
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
“Temporal Event Neural Networks: A More Efficient Alternative to the Transfor...
“Temporal Event Neural Networks: A More Efficient Alternative to the Transfor...
Biomedical Knowledge Graphs for Data Scientists and Bioinformaticians
Biomedical Knowledge Graphs for Data Scientists and Bioinformaticians
[OReilly Superstream] Occupy the Space: A grassroots guide to engineering (an...
[OReilly Superstream] Occupy the Space: A grassroots guide to engineering (an...
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
Crafting Excellence: A Comprehensive Guide to iOS Mobile App Development Serv...
Crafting Excellence: A Comprehensive Guide to iOS Mobile App Development Serv...
"Frontline Battles with DDoS: Best practices and Lessons Learned", Igor Ivaniuk
"Frontline Battles with DDoS: Best practices and Lessons Learned", Igor Ivaniuk
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
Experiencias Industriales con Programación Declarativa
- 1. Experiencias Industriales con Programación Declarativa Laura M. Castro lcastro@udc.es www.madsgroup.org/staff/laura
- 2. MADS ● Models and Applications of Distributed Systems http://www.madsgroup.org ● Core language: Erlang ● Well-known results: – VoDKA: Video on Demand system – ARMISTICE: Advanced Risk Management Information System – Syntheractive – ADVERTISE
- 3. MADS ● Models and Applications of Distributed Systems http://www.madsgroup.org ● Core language: Erlang ● Well-known results: – VoDKA: Video on Demand system – ARMISTICE: Advanced Risk Management Information System – Syntheractive – ADVERTISE collaboration 2 spin-offs with industry
- 4. MADS ● Models and Applications of Distributed Systems http://www.madsgroup.org ● Core language: Erlang ● Well-known results: – VoDKA: Video on Demand system – ARMISTICE: Advanced Risk Management Information System – Syntheractive – ADVERTISE 2 spin-offs
- 5. Erlang ● ● Functional programming language Developed by Ericsson in the mid-eighties, open source since 1998 ● Dynamically typed, eager evaluation ● Key features: – Concurrency: lightweight processes, own memory space, asynchronous message passing – Distribution: several VMs on several nodes – High avalilability: links between processes, built-in fault-tolerance mechanisms
- 24. VoDKA
- 25. VoDKATV
- 26. ARMISTICE
- 33. The key: Erlang ● Erlang features common to all these projects – Supervision, monitoring ● ● Lightweight processes Behaviours (lots of boilerplate for free!) – Seamless distribution – Nonstop code upgrade
- 34. The key: Erlang ● Erlang features common to all these projects – Supervision, monitoring ● ● Lightweight processes Behaviours (lots of boilerplate for free!) – Seamless distribution – Nonstop code upgrade – Pattern-matching – List comprehensions – Functions as first-class citizens
- 35. The key: Erlang ● Erlang features common to all these projects – Supervision, monitoring ● ● Lightweight processes Behaviours (lots of boilerplate for free!) – Seamless distribution – Nonstop code upgrade – Pattern-matching – List comprehensions – Functions as first-class citizens
- 36. MADS (today) ● Current research: software testing – ● Specifically: model-based and property-based testing 2 European research projects: – ProTest (http://protestproject.eu): 2007-2011 – PROWESS (http://prowessproject.eu): 2012-2015
- 37. ProTest: Property-based testing ● ● Uses declarative statements to specify properties that the software needs to satisfy according to its specification Using this approach: – – ● Test cases can be automatically derived from those properties Test cases can be automatically run and diagnosed PBT in Erlang: – QuickCheck / PropEr
- 39. PROWESS: PBT for web services ● Reduce time spent on testing, whilst increasing software quality – ● In order to quickly launch new, or enhancements of existing, web services and internet applications Provide the European software industry with efficient and effective testing tools and techniques for web services – Erlang/QuickCheck as core tools/technologies